Michaelmas Term
19th September 14:00 |
Jockum von Wright, Åbo Akademi University
Refinement Calculus Logic and Structured Derivations. |
3rd October 14:00 |
David Greaves, Computer Laboratory
Primitive Recursive Rules to Compile Behavioural Verilog into Finite State Machines. |
10th October 14:00 |
Luca Cattani
Presheaf Models over Recursively Defined Path Categories. |
13th October 14:00 |
Mateja Jamnik, University of Edinburgh
Automation of Diagrammatic Reasoning |
17th October 16:15 |
Professor Chris Bishop, Newton Institute
Probabilistic Learning: Current Research and Future Directions (A Lab Wednesday Seminar) |
24th October 14:00 |
Guy McCusker, University of Oxford
Games, Factorizations, Definability and ML-Style References |
27th October 14:00 |
Peter Dybjer, Chalmers University of Technology
From Strong Functional Programming to Large Cardinals |
4th November 14:00 |
Luca Roversi
A Language for Sharing Computations |
14th November 14:00 |
Martin Escardo
Real Number Computation, Domain Theory, and PCF |
21st November 16:15 |
Martyn Thomas, Praxis
The Most Expensive Error
(A Lab Wednesday Seminar |
5th December 14:00 |
Nick Benton
Compiling Standard ML into Java Bytecodes |
Lent Term
Easter Term
|