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.
10 upcoming talks and 20 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Siddharth Bhat (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 23 January 2025, 17:00-18:00
Emily Riehl (Johns Hopkins University).
Thursday 30 January 2025, 17:00-18:00
Thomas Ammer (King's College London).
Thursday 06 February 2025, 17:00-18:00
David Angdinata (University College London).
Thursday 13 February 2025, 17:00-18:00
Jujian Zhang (Imperial College London).
Thursday 20 February 2025, 17:00-18:00
Francisco Ferreira Ruiz (Royal Holloway, University of London).
Thursday 27 February 2025, 17:00-18:00
Andrei Popescu (University of Sheffield).
Thursday 06 March 2025, 17:00-18:00
Andrew Yang (Imperial College, London).
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
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)
Siddharth Bhat (University of Cambridge).
Thursday 23 January 2025, 17:00-18:00