Name: Prof. Elaine Pimentel
University College London
https://sites.google.com/site/elainepimentel/

Events this person is speaking at:

Tuesday 28 November 2023 (8th Week, Michaelmas Term)

Axioms as rules: How to reason with mathematical theories
Date: 28 November 2023, 15:00 - 16:00 (Tuesday, 8th week, Michaelmas 2023)
Speaker : Prof. Elaine Pimentel (University College London)
Venue: Wolfson Building, Parks Road OX1 3QD
Venue Details: LTB
Organisers: TBA
Hosts: TBA