skip to content

Mathematical Research at the University of Cambridge

 

<p><span style="background-color: rgb(255, 255, 255); color: rgb(0, 0, 0);">=== Online talk ===</span></p><p><span style="background-color: rgb(255, 255, 255); color: rgb(0, 0, 0);">Join Zoom Meeting </span><a href="https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8H... rel="noopener noreferrer" target="_blank" style="background-color: rgb(255, 255, 255); color: rgb(0, 51, 153);">https://cam-ac-uk.zoom.us/j/89856091954?pwd=Bba77QB2KuTideTlH6PjAmbXLO8H... style="background-color: rgb(255, 255, 255); color: rgb(0, 0, 0);">Meeting ID: 898 5609 1954 Passcode: ITPtalk</span></p><p><br></p>

Further information

Time:

04Jun
Jun 4th 2026
16:00 to 17:00

Venue:

Online; live-streamed at MR14 Centre for Mathematical Sciences

Speaker:

Rémy Degenne (Inria centre at the University of Lille)

Series:

Formalisation of mathematics with interactive theorem provers