University of Cambridge > Talks.cam > Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

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

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.

6 upcoming talks and 0 talks in the archive.

Formalised Mathematics: Obstacles and Achievements

UserProfessor Lawrence C. Paulson FRS (University of Cambridge).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 19 January 2023, 17:00-18:00

How Hilbert met Isabelle: Proof Between Generations

Hybrid talk (please see abstract for link)

UserMarco David (École Normale Supérieure de Paris).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 26 January 2023, 17:00-18:00

The Liquid Tensor Experiment

UserProfessor Kevin Buzzard (Imperial College London).

House Centre for Mathematical Sciences MR12, CMS.

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

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

UserAlbert Qiaochu Jiang (University of Cambridge).

House Centre for Mathematical Sciences MR12, CMS.

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

Please see above for contact details for this list.

 

© 2006-2022 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity