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