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.
7 upcoming talks and 95 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Steve Awodey (Royal Society Wolfson Visiting Fellow at Cambridge CST).
MR14 Centre for Mathematical Sciences.
Thursday 12 February 2026, 17:00-18:00
Wojciech Nawrocki (Carnegie Mellon University).
Thursday 19 February 2026, 17:00-18:00
Axel Ljungström (University of Nottingham).
Thursday 26 February 2026, 17:00-18:00
Anand Rao Tadipatri (University of Cambridge).
Thursday 05 March 2026, 17:00-18:00
Christoph Benzmüller (Otto-Friedrich-Universität Bamberg and Freie Universität Berlin).
Online; live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 12 March 2026, 17:00-18:00
Floris van Doorn (University of Bonn).
Thursday 30 April 2026, 17:00-18:00
Thomas Powell (University of Bath).
Centre for Mathematical Sciences, MR14.
Thursday 28 May 2026, 17:00-18:00
Please see above for contact details for this list.
© 2006-2026 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](http://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](http://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](http://talks.cam.ac.uk/images/contact.gif?1209136071)
![[University of Cambridge]](http://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](http://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Steve Awodey (Royal Society Wolfson Visiting Fellow at Cambridge CST).
Thursday 12 February 2026, 17:00-18:00