From Principia to Formalised versus Computerised Maths
Speaker:
Fairouz Kamareddine, Heriot-Watt University
Date and Time:
Wednesday, February 3, 2016 - 3:45pm to 4:30pm
Location:
Fields Institute, Room 230
Contacting the Institute, Staff, and Visiting Members of the Fields Institute.
Stay up to date with our upcoming events and news by viewing our calendar.