Gil  Species 
20 Jan 
Matt L  Ambient calculus 
27 Jan 
Alex  Finite model theory
 3 Feb 

 10 Feb 
Sam  Capability types and the Dpicalculus
 17 Feb 
Viktor  Shape analysis
 24 Feb 
Gil  MartinLof type theory
 3 Mar 
Peter  Dependent types
 10 Mar 
Adam  Games and model checking
 17 Mar 
Lucy  Domain theory
 24 Mar 
