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
|