2007-8 · 2006-7 · 2005 · 2004 · 2003 · 2002 · 2001 · 2000 · 1999 · 1998 · 1997 · 1996
| Date | Speaker | Title |
|---|---|---|
| October | Alex Lascarides | Default Unification |
| Djordje Cubric | Normalization and the Yoneda Embedding | |
| November | Uwe Nestmann | On Determinacy and Nondeterminacy in Concurrent Programming |
| December | A.D. Gordon | A Calculus for Cryptographic Protocols: The Spi Calculus |