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.

11 upcoming talks and 6 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Some practical problems in formalising mathematics and how to solve them

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

Formalising Turán's Graph Theorem in Isabelle/HOL

Hybrid talk (please see abstract for link)

UserNils Lauermann (INRIA).

House Centre for Mathematical Sciences MR12, CMS.

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

Formalisation of mathematics with interactive theorem provers

TBC

UserDr Wenda 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

Formalisation of mathematics with interactive theorem provers

TBC

Hybrid talk (please see abstract for link)

UserProfessor Heather Macbeth (Fordham University).

House Centre for Mathematical Sciences MR12, CMS.

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

Formalisation of mathematics with interactive theorem provers

TBC

UserDr Alex J. Best (King's College London).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 18 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