Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
2002-03
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > 2002-03

Michaelmas Term 2002

6th September
14:00
Jan Van den Bussche, University of Limburg
Querying and Navigating the Web with Browser Machines
20th September
14:00
Bill Rounds, Computer Laboratory and University of Michigan
The Phi-Calculus: An Extension of the Pi-Calculus to Hybrid Systems
29th November
14:00
Bakhadyr Khoussainov, University of Auckland
Games on Graphs: Complexity, Automata and Structure

Lent Term 2003

31st January
14:00
Michael Taitslin, Tver State University, Russia
Collapse Results in Database Theory
14th February
14:00
Patrick Baillot, CNRS-LIPN, Paris
Type Inference in Light Affine Logic and Polynomial-Time Computation
10th April
14:00
Erik Meijer, Microsoft Research
Unifying the Object-Oriented, Relational and Hierarchical Data Models

Easter Term 2003

2nd May
14:00
Francesco Zappa Nardelli, École Normale Supérieure, Paris
Bisimulation Proof Methods for Mobile Ambients
29th May
15:00
Stephan Kreutzer, University of Edinburgh
Once upon a Time in the West:
Determinacy, Definability and Complexity of Path Games
30th May
14:00
Annabelle McIver, Macquarie University, Sydney
Games, Probability and the Quantitative Mu-Calculus