Michaelmas Term
Wednesday 23rd September in the Discussion Room 14:00 |
John Longley,
The Sequentially Realizable Functionals |
16th October 14:00 |
Graham Birtwistle,
Specifying and Verifying TK |
Thursday 22nd Moved to Thursday ARG 14:00 |
Mike Gordon,
Combining Deductive Theorem Proving with Symbolic State Enumeration |
23rd October 14:00 |
Andrew Pitts,
A New Approach to Abstract Syntax Involving Binders |
Monday 26th October In Au 310 at 3:30pm 14:00 |
Ursula Martin,
Computer algebra and theorem proving: a pragmatic approach |
30th October 14:00 |
,
|
6th November 14:00 |
Keith Wansbrough,
Once Upon a Polymorphic Type |
13th November 14:00 |
Peter Potts,
Exact Real Arithmetic using Mobius Transformations |
20th November 14:00 |
Martin Hofmann,
Linear types and non-size increasing polynomial time computation |
27th November 14:00 |
,
|
30th November 14:00 |
Joseph Kiniry,
Reuse in Open Distributed Systems |
4th December 14:00 |
M. Randall Holmes,
The Watson Theorem Prover |
Lent Term
Easter Term
23rd April 14:00 |
Susan Stepney,
Formal Refinement in Z: an electronic commerce application |
28th May 14:00 |
Stefano Guerrini,
An overview of lambda-calculus optimal reductions and of their implementation |
4th June 14:00 |
Julian Rathke,
Towards a theory of bisimulation for local names |
Thursday 10th June at 3pm 14:00 |
Lauri Hella,
Logics with Aggregate Operators |
11th June 14:00 |
Thomas Forster,
Better-Quasi-orders and Coinduction |
18th June 14:00 |
Markus Wenzel,
Isar - a Generic Interpretative Approach to Readable Formal Proof Documents |
Thursday 24th June at 3pm 14:00 |
Anil Seth,
On the Expressive Power of Finitely many Generalized Quantifiers |
23rd July at 3pm 14:00 |
Alan Jeffrey,
A Distributed Object Calculus |
3rd September
14:00 |
Daniel Leivant,
Intrinsic theories |
17th September
14:00 |
John C. Reynolds,
Reasoning About Shared Mutable Data Structure |
24th September
14:00 |
Carl A. Gunter,
Formal Verification of Standards for Distance Vector Routing |
|