Computer Laboratory Home Page Search A-Z Directory Help
University of Cambridge Home Logic and Semantics Seminar
1997-98
Computer Laboratory > Research > TSG > Logic and Semantics Seminar > 1997-98

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

23rd January
14:00
Graham Hutton, University of Nottingham
Fold and Unfold for Program Semantics.
30th January
14:00
J Robin B Cockett
A Categorical Semantics for P-Time.
6th February
14:00
Andrew Pitts, Computer Laboratory
Parametric Polymorphism and Operational Equivalence.
16th February
14:00
Andrew Stevens
A Unifying Theory and its Mechanisation
20th February
14:00
Eugenio Moggi, Università di Genova
Intensional Semantics and Parallel Programming
13th March
14:00
Martin Richards, Computer Laboratory
A Tautology Checker Loosely Related to Stalmarck's Algorithm
20th March
14:00
Michael A. Covington, University of Georgia
Defeasible Logic on an Embedded Microcontroller

Easter Term

17th February
14:00
Ralph Loader
Combinators, Games and Higher-Order Matching
24th April
14:00
Eric C. R. Hehner, University of Toronto
High-Level Circuit Design
15th May
14:00
Dana S. Scott
Logics of Types and Computation
18th May
14:00
Simon Mørk, Technical University of Denmark
A Universal Reactive Machine for CCS
29th May
14:00
Dirk Van Heule, University of Ghent
The Consequences of the Choice of a Theorem Prover
5th June
14:00
Harry Mairson, Brandeis University
Parallel Beta Reduction is Not Elementary Recursive
12th June
14:00
Andrew Martin
Approaches to Proof in Z
10th July
14:00
Kohei Honda, University of Edinburgh and Imperial College
Game Theoretic Analysis of Call-by-Value Computation
14th August
14:00
Mike Steel, University of Canterbury, Christchurch, New Zealand
Reconstruction of X-Trees from Subtrees