Angeliki Koutsoukou-Argyraki (Jan 12 2024 at 13:37): Angeliki Koutsoukou-Argyraki (Jan 12 2024 at 13:37):Dear all,
The seminar series "Formalisation of mathematics with interactive theorem provers" hosted at the Cambridge Centre for Mathematical Sciences that was running last year will be resuming from next week on with Anand Rao Tadipatri and Jonas Bayer @Jonas Bayer taking over the main organisation.
Some meetings will be in person, but whenever the speaker is remote, it will be possible to participate virtually too.
Some of the in-person meetings will be live streamed as well.
This is a joint seminar series between the Cambridge 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.
You can find the schedule (in progress) and relevant information at the link below
http://www.talks.cam.ac.uk/show/index/164015
Please feel free to invite your students and any colleagues who may be interested.
Hope to see many of you!
Last updated: May 01 2024 at 20:18 UTC