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.

6 upcoming talks and 12 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Chelsea Edmonds (University of Cambridge).

Centre for Mathematical Sciences MR12, CMS.

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

Hybrid talk (please see abstract for link)

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

Professor Lawrence C. Paulson FRS (University of Cambridge).

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