skip to content

Department of Applied Mathematics and Theoretical Physics

=== Online talk ===

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

Meeting ID: 898 5609 1954 Passcode: ITPtalk


Further information

Time:

04Jun
Jun 4th 2026
17:00 to 18: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