Past Talks

2002-10-17

Eric Martin on Elements of Parametric Logic I

2002-10-24 (location: level 3 meeting room)

Eric Martin on Elements of Parametric Logic II

2002-10-31

Eric Martin on Elements of Parametric Logic III

2002-11-14

Eric Martin on Elements of Parametric Logic IV

2002-11-28

Aleksandar Ignjatovic on How to solve P=NP problem and become rich and famous (a motivational talk by a busted .com millionaire :)

2002-12-12

Eric Martin on Elements of Parametric Logic V

2003-01-30

Ron van der Meyden on Axiomatization for Logics of Knowledge and Branching Time I

2003-02-13

Ron van der Meyden on Axiomatization for Logics of Knowledge and Branching Time II

2003-04-10

Manas Patra on A logic for probability in quantum systems

2003-04-17

Thai Son Hoang on Almost certain termination

2003-05-22

Aleksandar Ignjatovic on Efficiency of Proofs in Fragments of Arithmetic

2003-07-24

Maurice Pagnucco on Introduction to belief change

2003-07-31

Avik Chaudhuri on Proof Carrying Code: Towards Genericity

2003-08-07

Ron van der Meyden and Peter Gammie on MCK - A Model Checker for the Logic of Knowledge and Time

2003-08-21

Thomas Wilke (CAU Kiel, Germany) on Minimizing automata on infinite words (Slides)

2003-09-04

Kai Baukus (visiting research fellow) on Abstraction-Based Verification of Parameterized Networks

2003-09-22

André Nies (Department of Computer Science, University of Auckland, NZ) on Randomness and Lowness