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

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.