LSD for lunch

Assigned talks, 2005-2006

Schedule: Lent Term 2006

Gil Species 20 Jan Matt L Ambient calculus 27 Jan Alex Finite model theory 3 Feb 10 Feb Sam Capability types and the Dpi-calculus 17 Feb Viktor Shape analysis 24 Feb Gil Martin-Lof type theory 3 Mar Peter Dependent types 10 Mar Adam Games and model checking 17 Mar Lucy Domain theory 24 Mar

Schedule: Michaelmas Term 2005

Dave Category theory and ends 21 Oct Adam Non-normal modal logics 28 Oct Lucy Categorical logic 4 Nov Magnus Substructural logics 11 Nov John Object calculi 18 Nov Jon Chu spaces 25 Nov Dave Quantum computation 2 Dec Alex Coalgebras and operational semantics 9 Dec