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.
6 upcoming talks and 12 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Dr Chris Birkbeck (University of East Anglia).
Centre for Mathematical Sciences MR12, CMS.
Thursday 27 April 2023, 17:00-18:00
CCIMI Seminars
Helmut Bölcskei - ETH Zurich.
Friday 28 April 2023, 14:00-15:00
Hybrid talk (please see abstract for link)
Professor Heather Macbeth (Fordham University).
Thursday 04 May 2023, 17:00-18:00
Dr Matthieu Piquerez (INRIA, Université de Nantes).
Thursday 11 May 2023, 17:00-18:00
Professor Patrick Massot (Université Paris-Saclay).
Thursday 18 May 2023, 17:00-18:00
Professor Lawrence C. Paulson FRS (University of Cambridge).
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)
Dr Chris Birkbeck (University of East Anglia).
Thursday 27 April 2023, 17:00-18:00