skip to content
Home

Department of Applied Mathematics and Theoretical Physics

Title to be confirmed

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqen...

Meeting ID: 871 4336 5195

Passcode: 541180

Further information

Time:

15May
May 15th 2025
17:00 to 18:00

Venue:

MR14 Centre for Mathematical Sciences

Speaker:

Andrei Popescu (University of Sheffield)

Series:

Formalisation of mathematics with interactive theorem provers

Study at Cambridge

About the University

Research at Cambridge