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

Michaelmas Term

 8th October
14:00
Kohei Honda, Queen Mary, University of London
The pi-Calculus, Sequentiality and Games
 12th October
14:00
Paul Taylor, Queen Mary, University of London
Adding Subtypes to a Computational Category to Make it Mathematical
 19th October
14:00
Matthew Hennessy, University of Sussex
Typed Behavioural Equivalences in the pi-Calculus
 26th October
14:00
Vincent Danos, Université de Paris VII
Concurrency and Control
 2nd November
14:00
Ulrich Kohlenbach, BRICS, Aarhus
Proof Mining: A Proof-Theoretic Approach to Numerical Analysis
 9th November
14:00
Gordon Plotkin, University of Edinburgh
Bialgebraic Semantics and Recursion
 16th November
14:00
Cliff Jones, University of Newcastle upon Tyne
Attempting to Reason about Failures
 23rd November
14:00
Davide Sangiorgi, INRIA Sofia Antipolis
Termination of Processes
 30th November
14:00
Bernhard Reus, University of Sussex
Semantics and Logic of Object Calculi

Lent Term

 25th January
14:00
Javier Esparza, University of Edinburgh
On the Algorithmics of Model Checking with Unfoldings
 1st February
14:00
Philippa Gardner, Imperial College
A Spatial Logic for Querying Graphs
 8th February
14:00
Martin Otto, University of Wales, Swansea
Bisimulation, Unravellings and Covers
 15th February
14:00
Ian Stark, University of Edinburgh
Local Areas in the pi-Calculus
 22nd February
14:00
Hayo Thielecke, University of Birmingham
Comparing Control Constructs by Double-Barrelled CPS
 1st March
14:00
Frank Valencia, BRICS, Aarhus
Modeling Timed Systems with Temporal Concurrent Constraint Programming
 15th March
14:00
Frédéric Blanqui, Computer Laboratory
Type Theory and Rewriting

Easter Term

 26th April
14:00
Samson Abramsky, University of Oxford
Predicative Copying and Polynomial Time
 3rd May
14:00
Carsten Führmann, University of Bath
Varieties of Effects
 10th May
14:00
Haruo Hosoya, Kyoto University
Static typing for XML processing
 24th May
14:00
Hartmut Ehrig, Technische Universität Berlin
Introduction to Algebraic Graph Transformation
 31st May
14:00
Nobuko Yoshida, University of Leicester
Communication-Based Liveness Guarantee by Types