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.
10 upcoming talks and 20 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Yaël Dillies (Stockholm Universitet).
MR14 Centre for Mathematical Sciences.
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-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)
Yaël Dillies (Stockholm Universitet).
Thursday 05 December 2024, 17:00-18:00