Skip to main
Math equations
George Mason University
Events

Upcoming Events

Nov6

Afternoon on the Lawn

Nov 6, 2024, 12:00 - 3:00 PM

Exploratory Hall Lawn

Nov6

6 November (CLIM + GEOL) Hönisch, Paleo CO2 & Ocean Acidification

Nov 6, 2024, 1:30 - 2:30 PM

Planetary Hall 224

Nov7

Center for Infectious Diseases Research Conference

Nov 7, 2024, 9:00 AM - 5:00 PM

View Calendar

CAGS: Real-time Formalization of Mathematics

Dec 1, 2023, 11:00 AM - 12:00 PM

 

Speaker:  Kevin Buzzard, Imperial College, London, United Kingdom

Title:  Real-time Formalization of Mathematics


Abstract

 

Time:  Friday, December 1, 2023 - 11:00am – 12:00am

Location:  CAGS zoom link