Email Gateway (Oct 08 2024 at 17:20): Email Gateway (Oct 08 2024 at 17:20):From: Angeliki Koutsoukou Argyraki <ak2110@cam.ac.uk>
Dear All,
The seminar series "Formalisation of mathematics with interactive theorem provers"
hosted at the Cambridge Centre for Mathematical Sciences is resuming. There will be both in-person and online talks,
every Thursday at 17:00-18:00 UK time.
The first talk of the term will take place this Thursday 10 October, and it will be by Maximilian Doré (University of Oxford)
on Cubical Type Theory: "Reasoning with Kan fillings about Morse reductions":
https://talks.cam.ac.uk/talk/index/222244
This is a joint seminar series between the Cambridge Department of Computer Science and Technology and the Faculty of Mathematics.
You can find the schedule (in progress) and relevant information at the link below:
https://talks.cam.ac.uk/show/index/164015
Please feel free to invite your students and any colleagues who may be interested.
All levels welcome. Undergraduate students are particularly encouraged to actively participate.
For any questions or talk suggestions, please contact me or my co-organisers Anand Rao Tadipatri and Jonas Bayer (CC).
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