University of Cambridge > Talks.cam > MR14 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.
6 upcoming talks and 25 talks in the archive.
Formalisation of mathematics with interactive theorem provers
POSTPONED
Andrei Popescu (University of Sheffield).
MR14 Centre for Mathematical Sciences.
Thursday 06 March 2025, 17:00-18:00
NOTE UNUSUAL DAY
Francisco Ferreira Ruiz (Royal Holloway, University of London).
Wednesday 12 March 2025, 17:00-18:00
Tristan Stérin (Maynooth University, Ireland) and Maja Kądziołka.
Thursday 13 March 2025, 17:00-18:00
David Wang (King's College London).
Thursday 20 March 2025, 17:00-18:00
Kevin Buzzard (Imperial College London).
Thursday 01 May 2025, 17:00-18:00
Andrew Yang (Imperial College, London).
Thursday 08 May 2025, 17:00-18:00
Please see above for contact details for this list.
© 2006-2025 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)
Andrei Popescu (University of Sheffield).
Thursday 06 March 2025, 17:00-18:00