University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers

Formalisation of mathematics with interactive theorem provers

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

This is a joint seminar series between the Department of Computer Science and Technology and the Faculty of Mathematics, on the fast-growing area of formalisation of mathematics with proof assistants (interactive theorem provers) such as Isabelle and Lean. All levels welcome. Undergraduate students are particularly encouraged to actively participate.

Tell a friend about this list:

If you have a question about this list, please contact: HoD Secretary, DPMMS; Bhavik Mehta; Angeliki Koutsoukou-Argyraki; Mantas Bakšys. If you have a question about a specific talk, click on that talk to find its organiser.

14 upcoming talks and 3 talks in the archive.

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 the Balog–Szemerédi–Gowers Theorem in Isabelle/HOL

UserMantas Bakšys (University of Cambridge).

House Centre for Mathematical Sciences MR12, CMS.

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

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

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

The Locale-Centric Approach for Formalising Mathematical Hierarchies

UserChelsea Edmonds (University of Cambridge).

House Centre for Mathematical Sciences MR12, CMS.

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

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

TBC

UserSpeaker to be confirmed.

House Centre for Mathematical Sciences MR12, CMS.

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

TBC

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

House Centre for Mathematical Sciences MR12, CMS.

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

TBC

UserSpeaker to be confirmed.

House Centre for Mathematical Sciences MR12, CMS.

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

The leanest automata

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 01 June 2023, 17:00-18:00

Title to be confirmed

Note: different room, MR20 this time

UserSpeaker to be confirmed.

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 08 June 2023, 17:00-18:00

Title to be confirmed

Note: different room, MR20 this time

UserSpeaker to be confirmed.

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 15 June 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