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.
9 upcoming talks and 22 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Emily Riehl (Johns Hopkins University).
MR14 Centre for Mathematical Sciences.
Thursday 30 January 2025, 17:00-18:00
Siddharth Bhat (University of Cambridge).
Thursday 23 January 2025, 17:00-18:00
Yaël Dillies (Stockholm Universitet).
Thursday 05 December 2024, 17:00-18:00
Cambridge Image Analysis Seminars
Danielle Bednarski (DESY Hamburg).
Tuesday 03 December 2024, 13:00-14:00
Tobias Grosser (University of Cambridge).
Thursday 28 November 2024, 17:00-18:00
Lawrence Paulson (University of Cambridge).
Thursday 21 November 2024, 17:00-18:00
María Inés de Frutos-Fernández (University of Bonn).
Thursday 14 November 2024, 17:00-18:00
Meven Lennon-Bertrand (University of Cambridge).
Thursday 07 November 2024, 17:00-18:00
Hernán Ibarra Mejia, THG and Anand Rao Tadipatri, University of Cambridge.
Thursday 31 October 2024, 17:00-18:00
Sky Wilshaw (University of Nottingham).
Thursday 24 October 2024, 17:00-18:00
Mirek Olšák (University of Cambridge).
Thursday 17 October 2024, 17:00-18:00
Maximilian Doré (University of Oxford).
Thursday 10 October 2024, 17:00-18:00
Professor Lawrence Paulson (University of Cambridge).
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-2025 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)
Emily Riehl (Johns Hopkins University).
Thursday 30 January 2025, 17:00-18:00