University of Cambridge > Talks.cam > MR14 Centre for Mathematical Sciences
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.
2 upcoming talks and 30 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Jonas Bayer (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 29 May 2025, 17:00-18:00
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 2025, 17:00-18:00
Please see above for contact details for this list.
© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity