home search a-z help
University of Cambridge
Logic and Semantics Seminar
Computer Laboratory > Research > Theory and Semantics > Logic and Semantics Seminar

Logic and Semantics seminars are usually held at 2pm on Fridays in room FW11. Talks are of relevance to the Automated Reasoning Group and/or the Theory and Semantics Group. The seminars are organized by Tom Ridge. Please contact him if you would like more information or would like to suggest a speaker or offer to talk yourself.

Michaelmas Term 2006

20th September *WEDNESDAY*
Francois Pottier, INRIA, Rocquencourt
Static Name Control for FreshML
29th September
Weng Kin Ho, University of Birmingham
An Operational Domain-Theoretic Treatment of Recursive Types

Details of previous years' talks are also available: 1997-98, 1998-99, 1999-2000, 2000-01, 2001-02, 2002-03, 2003-04, 2004-05. 2005-06.