University of Cambridge > Talks.cam > DPMMS Pure Maths study groups
Add to your list(s) Send you e-mail reminders Further detail Subscribe using ical/vcal (Help)
study groups in pure maths
If you have a question about this list, please contact: HoD Secretary, DPMMS. If you have a question about a specific talk, click on that talk to find its organiser.
6 upcoming talks and 70 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Lawrence Paulson (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 21 November 2024, 17:00-18:00
Tobias Grosser (University of Cambridge).
Thursday 28 November 2024, 17:00-18:00
Yaël Dillies (Stockholm Universitet).
Thursday 05 December 2024, 17:00-18:00
Siddharth Bhat (University of Cambridge).
Thursday 23 January 2025, 17:00-18:00
Thomas Ammer (King's College London).
Thursday 06 February 2025, 17:00-18:00
Andrei Popescu (University of Sheffield).
Thursday 06 March 2025, 17:00-18:00
Please see above for contact details for this list.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Lawrence Paulson (University of Cambridge).
Thursday 21 November 2024, 17:00-18:00