Pure and Applied Logic Colloquium at CMU

Past talks in this series
The colloquium is held in Baker Hall A53 (unless stated otherwise).
All talks start at 4:30 pm. (Refreshments at 4 if noted).

 
Pure and Applied Logic Colloquium
Wednesday
19 November 2008

4:30 pm, Baker Hall 237B

Please note different day and room!

"Automating Access Control Logics and Multimodal Logics
in the Automatic Higher-Order Theorem Prover LEO-II"

Christoph Benzmuller
Department of Informatics
University of Saarland, Germany (on leave)
Abstract

(comments to: awodey@cmu.edu)