Name: Benjamin Brast-McKie
University of Oxford

Events this person is organising:

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

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

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

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