University of Cambridge > Talks.cam >  Centre for Mathematical Sciences MR12, CMS

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]

TBC

Hybrid talk (please see abstract for link)

UserDr Manuel Eberl (University of Innsbruck).

House Centre for Mathematical Sciences MR12, CMS.

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

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

TBC

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

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 March 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