skip to content
Home

Mathematical Research at the University of Cambridge

 

Title to be confirmed

=== Hybrid talk ===

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

Meeting ID: 898 5609 1954
Passcode: ITPtalk

Further information

Time:

19Jun
Jun 19th 2025
17:00 to 18:00

Venue:

MR14 Centre for Mathematical Sciences

Speaker:

Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem)

Series:

Formalisation of mathematics with interactive theorem provers

Study at Cambridge

About the University

Research at Cambridge