Name: Benjamin Brast-McKie
University of Oxford

Events this person is organising:

Wednesday 8 February 2017

Type Theory & Set Theory
Date: 8 February 2017, 18:00 - 20:00
Speaker
Venue: Ertegun House, 37a St Giles OX1 3LH
Organiser: Benjamin Brast-McKie (University of Oxford)
Hosts: TBA

Thursday 9 March 2017

Higher-Order Logic & Modality
Date: 9 March 2017, 18:00 - 19:00
Speaker : Dr Andrew Bacon (University of Oxford)
Venue: Ertegun House, 37a St Giles OX1 3LH
Organiser: Benjamin Brast-McKie (University of Oxford)
Hosts: TBA