|
|
Logic & Semantics |
|
|
Logic & Semantics |
| Date | Speaker | Title | |
|---|---|---|---|
| 19th September | Jockum von Wright | Refinement Calculus Logic and Structured Derivations. Abstract | |
| 3rd October | David Greaves | Primitive Recursive Rules to Compile Behavioural Verilog into Finite State Machines. Abstract | |
| 10th October | Luca Cattani | Presheaf Models over Recursively Defined Path Categories. Abstract | |
| 13th October | Mateja Jamnik | Automation of Diagrammatic Reasoning Abstract | |
| 17th October | Professor Chris Bishop | Extra Wednesday Seminar No LS seminar | |
| 24th October | Guy McCusker | Games, Factorizations, Definability and ML-style references Abstract | |
| 27th October | Peter Dybjer | From strong functional programming to large cardinals Abstract | |
| 31st October | |||
| 4th November | Luca Roversi | A language for sharing computations Abstract | |
| 7th November | |||
| 14th November | Martin Escardo | Real number computation, domain theory, and PCF Abstract | |
| 21st November | Martyn Thomas | Extra Wednesday Seminar No LS seminar | |
| 28th November | |||
| 5th December | Nick Benton | Compiling Standard ML into Java Bytecodes Abstract | |
Lent Term |
|||
| Date | Speaker | Title | |
| 16th January | |||
| 23rd January | Graham Hutton | Fold and Unfold for Program Semantics. Abstract | |
| 30th January | J Robin B Cockett | A categorical semantics for P-time. Abstract | |
| 6th February | Andrew Pitts | Parametric Polymorphism and Operational Equivalence. Abstract | |
| 16th February in Discussion room | Andrew Stevens | A Unifying Theory and its Mechanisation Abstract | |
| 20th February | Eugenio Moggi | Intensional semantics and parallel programming Abstract | |
| 27th February | |||
| 6th March | |||
| 13th March | Martin Richards | A tautology checker loosely related to Stalmarck's algorithm Abstract | |
| 20th March in Discussion room | Dr. Michael A. Covington | Defeasible Logic on an Embedded Microcontroller Abstract | |
Easter Term |
|||
| Date | Speaker | Title | |
| 17th April | Ralph Loader | Combinators, Games and Higher-Order Matching Abstract | |
| 24th April | Eric C. R. Hehner | High-Level Circuit Design Abstract | |
| 1st May | |||
| 8th May | |||
| 15th May | Dana Scott | Logics of Types and Computation Abstract | |
| Monday 18th May in Discussion room at 2pm | Simon Mørk | A Universal Reactive Machine for CCS Abstract | |
| 22nd May | |||
| 29th May | Dirk Van Heule | The consequences of the choice of a Theorem Prover Abstract | |
| 5th June | Harry Mairson | Parallel beta reduction is not elementary recursive Abstract | |
| 12th June | Andrew Martin | Approaches to proof in Z Abstract | |
| 10th July | Kohei Honda | Game Theoretic Analysis of Call-by-value Computation Abstract | |
| 14th August | Mike Steel | Reconstruction of X-trees from subtrees Abstract | |
