University of Cambridge

Logic
&
Semantics


Latest Schedule


The L&S seminar series consists of talks of relevance to the Automated Reasoning Group and/or the Theory and Semantics Group and provides a single point each week at which interesting talks in these fields can be found.


Where?

Seminars are typically held in WGB FW11 at 2pm on Fridays during full term.

When?

Schedules for talks for 1997-1998, 1998-1999, 1999-2000, 2000-2001, and 2001-2002.


Please contact David.Richerby@cl.cam.ac.uk if you have any suggestions for speakers, or would like to speak yourself.