LSD for lunch

Assigned talks, 2003-2004

Here are some of the talks given in 2003-2004. For the current schedule, go here.

Schedule: Michaelmas Term
Sam Axiomatic and synthetic domain theory [slides, handout] Oct 24
Andrei Anominity Oct 31
Matthew Separation Logic [slides] Nov 7
Alisdair Ownership Types Nov 14
Lucy Event Structures Nov 21
Gareth Operational reasoning and contextual equivalence Nov 28
Mark Domain equations Dec 5
Steve The operational semantics of TCP Dec 12

Schedule: Lent Term
Lucy Category theory Jan 30
Claire Isabelle Feb 6
Moritz TBA Feb 13
Matt Behavioural subtyping Feb 20
Matthew TBA Feb 27
Gareth Semantics of Dynamic Software Updating Mar 5
Alisdair TBA Mar 12
Sam Algebra and Coalgebra Mar 19
Mark TBA Mar 26

Schedule: Easter Term