
 Info
1998

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

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

Functional Programming and Geometry

Guy Cousineau (Jussieu, France)
LFCS Theory Seminar
Room 2511, JCMB, King's Buildings
3pm, Monday 19th January 1998

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

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

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

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

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

Model Checking, Abstraction and Proof in a Microprocessor Design Project

Anthony McIsaac
SGSThomson 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.


LFCS seminar: Razvan Stanica: Spatiotemporal classification of mobile network traffic
IF 4.31/4.33,
Oct 23, 2017

LFCS seminar: Claude HeilandAllen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter
G.07,
Oct 26, 2017

LFCS seminar: Vaishak Belle: Firstorder probabilistic relational models
IF 4.31/4.33,
Oct 31, 2017

LFCS seminar: Stuart Presnell: What is Homotopy Type Theory?
IF 4.31/4.33,
Nov 07, 2017

LFCS seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect
IF 4.31/4.33,
Nov 14, 2017
