Wednesday 8 February 2017

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

Thursday 9 March 2017

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