Sam  Hyperdoctrines and Categorical Logic 
Feb 4 
Dave  Bunched Implications 
Feb 11 
Paul  Complexity and Logic 
Feb 25 
Alisdair  Shape Analysis 
March 4 
Lucy  Pseudo distributivity 
March 11 
Matthew  Pure type systems 
March 18 
Peter  Algebraic Operations and Effects 
March 27 
Jonathan  Context Logic 
April 1 
ChungKil  MartinLof Type Theory. 
April 8 
