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 32 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
MR14 Centre for Mathematical Sciences.
Thursday 19 June 2025, 17:00-18:00
Jonas Bayer (University of Cambridge).
Thursday 29 May 2025, 17:00-18:00
Andrew Yang (Imperial College, London).
Thursday 08 May 2025, 17:00-18:00
Kevin Buzzard (Imperial College London).
Thursday 01 May 2025, 17:00-18:00
David Wang (King's College London).
Thursday 20 March 2025, 17:00-18:00
Tristan Stérin (Maynooth University, Ireland) and Maja Kądziołka.
Thursday 13 March 2025, 17:00-18:00
NOTE UNUSUAL DAY
Francisco Ferreira Ruiz (Royal Holloway, University of London).
Wednesday 12 March 2025, 17:00-18:00
Jujian Zhang (Imperial College London).
Thursday 20 February 2025, 17:00-18:00
David Angdinata (University College London).
Thursday 13 February 2025, 17:00-18:00
Thomas Ammer (King's College London).
Thursday 06 February 2025, 17:00-18:00
Emily Riehl (Johns Hopkins University).
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)
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 2025, 17:00-18:00