Email Gateway (Jan 12 2024 at 13:29): Email Gateway (Jan 12 2024 at 13:29):From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
Dear all,
This is to announce that 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 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.
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!
Best wishes,
Angeliki on behalf of the organisers
Dr Angeliki Koutsoukou-Argyraki
Lecturer in Computer Science, Royal Holloway, University of London
Visiting Researcher, Department of Computer Science and Technology, University of Cambridge
College Research Associate, Clare College, University of Cambridge
Last updated: Jan 04 2025 at 20:18 UTC