University of Cambridge > Talks.cam > MR20 Centre for Mathematical Sciences
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 5 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Note: different room, MR20 this time
Yaël Dillies (University of Cambridge).
MR20 Centre for Mathematical Sciences.
Thursday 22 June 2023, 17:00-18:00
Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Professor Sébastien Gouëzel (Université de Rennes).
Thursday 15 June 2023, 17:00-18:00
Dr Alex J. Best (King's College London).
Thursday 08 June 2023, 17:00-18:00
Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).
Thursday 01 June 2023, 17:00-18:00
Hybrid talk (please see abstract for link)
Professor Patrick Massot (Université Paris-Saclay).
Centre for Mathematical Sciences MR12, CMS.
Thursday 18 May 2023, 17:00-18:00
Please see above for contact details for this list.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Yaël Dillies (University of Cambridge).
Thursday 22 June 2023, 17:00-18:00