University of Cambridge > Talks.cam > Centre for Mathematical Sciences MR12, CMS
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.
12 upcoming talks and 5 talks in the archive.
Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]
Professor Kevin Buzzard (Imperial College London).
Centre for Mathematical Sciences MR12, CMS.
Thursday 02 February 2023, 17:00-18:00
Hybrid talk (please see abstract for link)
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00
Albert Qiaochu Jiang (University of Cambridge).
Thursday 16 February 2023, 17:00-18:00
Mantas Bakšys (University of Cambridge).
Thursday 23 February 2023, 17:00-18:00
Nils Lauermann (INRIA).
Thursday 02 March 2023, 17:00-18:00
Wenda Li (University of Cambridge) and Artem Khovanov (University of Cambridge).
Thursday 09 March 2023, 17:00-18:00
Chelsea Edmonds (University of Cambridge).
Thursday 16 March 2023, 17:00-18:00
Speaker to be confirmed.
Thursday 27 April 2023, 17:00-18:00
Thursday 04 May 2023, 17:00-18:00
Thursday 11 May 2023, 17:00-18:00
Thursday 18 May 2023, 17:00-18:00
Thursday 25 May 2023, 17:00-18:00
Please see above for contact details for this list.
© 2006-2023 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Professor Kevin Buzzard (Imperial College London).
Thursday 02 February 2023, 17:00-18:00