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.

12 upcoming talks and 5 talks in the archive.

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

Professor Kevin Buzzard (Imperial College London).

Centre for Mathematical Sciences MR12, CMS.

Thursday 02 February 2023, 17:00-18:00

Hybrid talk (please see abstract for link)

Dr Manuel Eberl (University of Innsbruck).

Thursday 09 February 2023, 17:00-18:00

Albert Qiaochu Jiang (University of Cambridge).

Thursday 16 February 2023, 17:00-18:00

Mantas Bakšys (University of Cambridge).

Thursday 23 February 2023, 17:00-18:00

Nils Lauermann (INRIA).

Thursday 02 March 2023, 17:00-18:00

Wenda Li (University of Cambridge) and Artem Khovanov (University of Cambridge).

Thursday 09 March 2023, 17:00-18:00

Chelsea Edmonds (University of Cambridge).

Thursday 16 March 2023, 17:00-18:00

Speaker to be confirmed.

Thursday 27 April 2023, 17:00-18:00

Thursday 04 May 2023, 17:00-18:00

Thursday 11 May 2023, 17:00-18:00

Thursday 18 May 2023, 17:00-18:00

Thursday 25 May 2023, 17:00-18: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