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.

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

TBC

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

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

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

UserDr Chris Birkbeck (University of East Anglia).

House Centre for Mathematical Sciences MR12, CMS.

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

TBC

UserSpeaker to be confirmed.

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

UserSpeaker to be confirmed.

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