Michaelmas Term
14:00 |
,
|
6th October 14:00 |
,
|
13th October 14:00 |
,
|
20th October 14:00 |
Mike Spivey,
Embedding Prolog in Haskell |
27th October 14:00 |
Martin Hyland,
Who wins infinite plays? |
3rd November 14:00 |
,
|
10th November 14:00 |
Randy Pollack,
Dependently Typed Records for Representing Mathematical Structure |
23rd November 14:00 |
Martin Berger,
The 2 Phase Commit Protocol in an Extended pi Calculus |
24th November 14:00 |
Andrew D. Gordon ,
Typing a Multi-Language Intermediate Code |
1st December 14:00 |
Oege de Moor,
Pointwise Relations Abstract |
Lent Term
14:00 |
,
|
19th January 14:00 |
Ian Benson,
Practical Protocol Analysis for System Decomposition and Synthesis |
26th January 14:00 |
,
|
2nd February 14:00 |
,
|
9th February 14:00 |
,
|
16th February 14:00 |
,
|
23rd February 14:00 |
,
|
2nd March 14:00 |
Jeffrey Ketland,
The Possibility of Physical Hypercomputation |
9th March 14:00 |
Peter O'Hearn,
Local Reasoning about Shared Mutable Data Structure |
16th March 14:00 |
Peter Welch,
A CSP Model for Java Threads (and Vice-Versa) |
30th March 14:00 |
Ehud Shapiro,
|
Easter Term
|