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.
0 upcoming talks and 18 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Professor Lawrence C. Paulson FRS (University of Cambridge).
Centre for Mathematical Sciences MR12, CMS.
Thursday 25 May 2023, 17:00-18:00
Hybrid talk (please see abstract for link)
Professor Patrick Massot (Université Paris-Saclay).
Thursday 18 May 2023, 17:00-18:00
Dr Matthieu Piquerez (INRIA, Université de Nantes).
Thursday 11 May 2023, 17:00-18:00
Professor Heather Macbeth (Fordham University).
Thursday 04 May 2023, 17:00-18:00
CCIMI Seminars
Helmut Bölcskei - ETH Zurich.
Friday 28 April 2023, 14:00-15:00
Dr Chris Birkbeck (University of East Anglia).
Thursday 27 April 2023, 17:00-18:00
Chelsea Edmonds (University of Cambridge).
Thursday 16 March 2023, 17:00-18:00
[CANCELLED, please check back for rescheduling]
Dr Wenda Li (University of Cambridge), Artem Khovanov (University of Cambridge) and Michael Nedzelsky (Diffblue Ltd).
Thursday 09 March 2023, 17:00-18:00
Nils Lauermann (INRIA).
Thursday 02 March 2023, 17:00-18:00
Mantas Bakšys (University of Cambridge).
Thursday 23 February 2023, 17:00-18:00
Albert Qiaochu Jiang (University of Cambridge).
Thursday 16 February 2023, 17:00-18:00
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00
Professor Kevin Buzzard (Imperial College London).
Thursday 02 February 2023, 17:00-18:00
Marco David (École Normale Supérieure de Paris).
Thursday 26 January 2023, 17:00-18:00
Thursday 19 January 2023, 17:00-18:00
Worms and Bugs
Kirsty Bolton (University of Nottingham) & Emma Fairbanks (Swiss Tropical and Public Health Institute).
Wednesday 15 June 2022, 16:00-17:00
Carl Whitfield, University of Manchester.
Wednesday 08 June 2022, 16:00-17:00
Simon Rella, Institute of Science and Technology Austria.
Wednesday 25 May 2022, 16:00-17: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)
Professor Lawrence C. Paulson FRS (University of Cambridge).
Thursday 25 May 2023, 17:00-18:00