Personal tools
You are here: Home Events Abstract Archives 1998

1998

Page Parametric polymorphism and operational equivalence
Speaker: Andrew Pitts (University of Cambridge) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 27th January 1998
Page Searching constant width mazes captures the $\mathrm{AC}^0$-hierarchy
Sven Skyum (BRICS, University of Aarhus, Denmark) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 2pm, Friday 23rd January 1998
Page Functional Programming and Geometry
Guy Cousineau (Jussieu, France) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 3pm, Monday 19th January 1998
Page Unique Fixed Points for Unguarded Recursion
Rob van Glabbeek (Stanford University, USA) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 13th January 1998
Page Guarded Induction on Final Coalgebras
Dusko Pavlovic School of Cognitive and Computing Sciences University of Sussex 4pm Tuesday 24 February 1998 Room 5326, JCMB, King's Buildings
Page A Fully Abstract Model for Sequential Computation
Michael Marz Department of Computer Science University of Birmingham 4pm Tuesday 17 February 1998 Room 2511, JCMB, King's Buildings
Page A Computational Interpretation of the $\lambda\mu$-calculus
G.M. Bierman (University of Cambridge) LFCS Theory Seminar Room 2509, JCMB, King's Buildings 3pm, Tuesday 10th February 1998
Page Static Typing for Dynamic Messages
Susumu Nishimura (University of Kyoto, Japan) LFCS Theory Seminar Room 2511, JCMB, King's Buildings 4pm, Tuesday 3rd February 1998
Page Model Checking, Abstraction and Proof in a Microprocessor Design Project
Anthony McIsaac SGS-Thomson Microelectronics 4pm Monday 30 March 1998 Room 2511, JCMB, King's Buildings This seminar is being organised jointly with the SLI (Systems Level Integration) seminar series.
Document Actions