Wednesday 8 February 2017 (4th Week, Hilary Term)

• 18:00 - Type Theory & Set Theory
  TBA
  The MLE Seminar

Thursday 9 March 2017 (8th Week, Hilary Term)

• 18:00 - Higher-Order Logic & Modality
  Dr Andrew Bacon (University of Oxford)
  The MLE Seminar