Michaelmas Term
14:00 |
,
|
1st October 14:00 |
John Harrison,
Formal verification of IA-64 division and square root |
8th October 14:00 |
Andrew Pitts,
A Metalanguage for Programming with Bound Names Modulo Renaming (Part I) |
15th October 14:00 |
Andrew Pitts,
A Metalanguage for Programming with Bound Names Modulo Renaming (Part II) |
22nd October 14:00 |
,
|
29th October in the Discussion room 14:00 |
Simon Peyton-Jones,
Using rewriting to add domain-specific optimisations to a compiler. |
5th November 14:00 |
Ian Stark,
Thimble --- Threads for MLj |
12th November 14:00 |
,
|
19th November 14:00 |
,
|
Thursday 25th November 14:00 |
Yuri Gurevich,
Average Case Computational Complexity |
26th November 14:00 |
Tony Hoare,
Unifying Theories for Logic Programming |
3rd December 14:00 |
Peter Sewell,
Secure Composition of Untrusted Code: Wrappers and Causality Types |
10th December 14:00 |
Claudio Russo,
Types for Modules |
Lent Term
14:00 |
,
|
21st January 14:00 |
,
|
28th January 14:00 |
Ivan Stanev,
Comparison between four formal models and programming styles |
4th February in the Discussion room 14:00 |
Thomas Forster,
Constructive NF: why it is natural and should be consistent |
11th February 14:00 |
,
|
18th February in the Discussion room 14:00 |
,
|
Thursday 24th February at 3pm 14:00 |
Dr. B.C. Moszkowski,
An Automata-Theoretic Completeness Proof for Interval Temporal Logic |
25th February 14:00 |
,
|
3rd March in the Discussion room 14:00 |
,
|
10th March 14:00 |
Michael Covington,
Natural Language Pragmatics as Applied to Computing |
17th March 14:00 |
Richard Bornat,
Pointer Aliasing in Hoare Logic |
Easter Term
14:00 |
,
|
28th April 14:00 |
,
|
5th May 14:00 |
,
|
12th May 14:00 |
,
|
19th May 14:00 |
,
|
26th May 14:00 |
Larry Paulson,
Program Composition in UNITY: A Mechanized Theory |
2nd June 14:00 |
,
|
9th June 14:00 |
,
|
16th June 14:00 |
,
|
23rd June 14:00 |
,
|
30th June in the Discussion room 14:00 |
,
|
14:00 |
,
|
|