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