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.
11 upcoming talks and 6 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Hybrid talk (please see abstract for link)
Dr Manuel Eberl (University of Innsbruck).
Centre for Mathematical Sciences MR12, CMS.
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
Dr 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
Dr Chris Birkbeck (University of East Anglia).
Thursday 27 April 2023, 17:00-18:00
Professor Heather Macbeth (Fordham University).
Thursday 04 May 2023, 17:00-18:00
Speaker to be confirmed.
Thursday 11 May 2023, 17:00-18:00
Dr Alex J. Best (King's College London).
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]](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)
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00