Michaelmas Term
|
Tuesday 2nd October - Friday 30th November |
| |
Michaelmas
| Lent
| Easter
| LS Home page
|
| Date | Speaker | Title
|
|
| 8th October
| Kohei Honda
| The pi-calculus, sequentiality and games
Abstract
|
|
| 12th October
| Paul Taylor
|
Adding subtypes to a computational category to make it mathematical
Abstract
|
|
| 19th October
| Matthew Hennessy
| Typed behavioural equivalences in the Pi calculus
Abstract
|
|
| 26th October
| Vincent Danos
| Concurrency and control
Abstract
|
|
| 2nd November
| Ulrich Kohlenbach
| Proof mining: a proof theoretic approach to numerical analysis
Abstract
|
|
| 9th November
| Gordon Plotkin
| Bialgebraic semantics and recursion
Abstract
|
|
| 16th November
| Cliff Jones
| Attempting to reason about failures
Abstract
|
|
| 23rd November
| Davide Sangiorgi
| Termination of processes
Abstract
|
|
| 30th November
| Bernhard Reus
| Semantics and Logic of Object Calculi
Abstract
|
Lent Term
|
Tuesday 15th January - Friday 15th March |
| |
Michaelmas
| Lent
| Easter
| LS Home page
|
| Date | Speaker | Title
|
|
| 25th January
| Javier Esparza
| On the algorithmics of model checking with unfoldings
Abstract
|
|
| 1st February
| Philippa Gardner
| A spatial logic for querying graphs
Abstract
|
|
| 8th February
| Martin Otto
| Bisimulation, unravellings and covers
Abstract
|
|
| 15th February
| Ian Stark
| Local Areas in the Pi-Calculus
Abstract
|
|
| 22nd February
| Hayo Thielecke
| Comparing Control Constructs by Double-barrelled CPS
Abstract
|
|
| 1st March
| Frank Valencia
| Modeling Timed Systems with Temporal Concurrent Constraint Programming
Abstract
|
|
| 15th March
| Frederic Blanqui
| Type Theory and Rewriting
Abstract
|
