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.
0 upcoming talks and 10 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Professor Lawrence Paulson (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 07 March 2024, 17:00-18:00
Dr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).
Thursday 29 February 2024, 17:00-18:00
Artie Khovanov (University of Cambridge), Michael Nedzelsky (Diffblue Ltd) and Dr Wenda Li (University of Edinburgh).
Thursday 22 February 2024, 17:00-18:00
Mantas Bakšys and Yaël Dillies (University of Cambridge).
Thursday 01 February 2024, 17:00-18:00
Note unusual time
Professor Siddhartha Gadgil (Indian Institute of Science).
Wednesday 17 January 2024, 13:00-14:00
CCIMI Seminars
Joonas Ilmavirta, University of Jyväskylä.
Wednesday 09 May 2018, 14:00-15:00
CMIH short course: Image Reconstruction in Biomedical Imaging
Note Time and Room Changed
Martin Burger, Muenster University.
Thursday 19 October 2017, 12:00-13:00
Note Room Changed
Thursday 19 October 2017, 11:00-12:00
Erwan Faou (Inria).
Wednesday 07 June 2017, 14:00-15:00
Tobias Sutter, ETH Zurich.
Wednesday 01 March 2017, 14:00-15: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)
Professor Lawrence Paulson (University of Cambridge).
Thursday 07 March 2024, 17:00-18:00