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.
0 upcoming talks and 86 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
MR14 Centre for Mathematical Sciences.
Thursday 19 June 2025, 17:00-18:00
Jonas Bayer (University of Cambridge).
Thursday 29 May 2025, 17:00-18:00
CANCELLED
Andrei Popescu (University of Sheffield).
Online; live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 22 May 2025, 17:00-18:00
Andrew Yang (Imperial College, London).
Thursday 08 May 2025, 17:00-18:00
Kevin Buzzard (Imperial College London).
Thursday 01 May 2025, 17:00-18:00
David Wang (King's College London).
Thursday 20 March 2025, 17:00-18:00
Tristan Stérin (Maynooth University, Ireland) and Maja Kądziołka.
Thursday 13 March 2025, 17:00-18:00
NOTE UNUSUAL DAY
Francisco Ferreira Ruiz (Royal Holloway, University of London).
Wednesday 12 March 2025, 17:00-18:00
Jujian Zhang (Imperial College London).
Thursday 20 February 2025, 17:00-18:00
David Angdinata (University College London).
Thursday 13 February 2025, 17:00-18:00
Thomas Ammer (King's College London).
Thursday 06 February 2025, 17:00-18:00
Emily Riehl (Johns Hopkins University).
Thursday 30 January 2025, 17:00-18:00
Siddharth Bhat (University of Cambridge).
Thursday 23 January 2025, 17:00-18:00
Yaël Dillies (Stockholm Universitet).
Thursday 05 December 2024, 17:00-18:00
Tobias Grosser (University of Cambridge).
Thursday 28 November 2024, 17:00-18:00
Lawrence Paulson (University of Cambridge).
Thursday 21 November 2024, 17:00-18:00
María Inés de Frutos-Fernández (University of Bonn).
Thursday 14 November 2024, 17:00-18:00
Meven Lennon-Bertrand (University of Cambridge).
Thursday 07 November 2024, 17:00-18:00
Hernán Ibarra Mejia, THG and Anand Rao Tadipatri, University of Cambridge.
Thursday 31 October 2024, 17:00-18:00
Sky Wilshaw (University of Nottingham).
Thursday 24 October 2024, 17:00-18:00
Mirek Olšák (University of Cambridge).
Thursday 17 October 2024, 17:00-18:00
Maximilian Doré (University of Oxford).
Thursday 10 October 2024, 17:00-18:00
Professor Tobias Nipkow (Technische Universität München).
Live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 13 June 2024, 17:00-18:00
Professor Georges Gonthier (Inria).
Thursday 23 May 2024, 17:00-18:00
Professor Patrick Massot (Université Paris-Saclay and Carnegie Mellon University).
Thursday 16 May 2024, 17:00-18:00
Tomas Skrivan (Carnegie Mellon University).
Thursday 09 May 2024, 17:00-18:00
Dr Johan Commelin (Utrecht University).
Thursday 02 May 2024, 17:00-18:00
(NOTE UNUSUAL DAY/TIME)
Professor Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).
MR15 Centre for Mathematical Sciences.
Monday 29 April 2024, 14:00-15:00
Online
Dr Mohammad Abdulaziz (King's College London).
Thursday 25 April 2024, 17:00-18:00
DPMMS Departmental Colloquia
Julia Wolf (Cambridge).
CMS MR2.
Thursday 25 April 2024, 16:00-17:00
Professor Adam Topaz (University of Alberta).
Thursday 14 March 2024, 17:00-18:00
Professor Lawrence Paulson (University of Cambridge).
Thursday 07 March 2024, 17:00-18:00
Dr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).
Thursday 29 February 2024, 17:00-18:00
Artie Khovanov (University of Cambridge), Michael Nedzelsky (Diffblue Ltd) and Dr Wenda Li (University of Edinburgh).
Thursday 22 February 2024, 17:00-18:00
Professor Jeremy Avigad (Carnegie Mellon University).
Thursday 15 February 2024, 17:00-18:00
Professor Kevin Buzzard (Imperial College London).
Thursday 08 February 2024, 17:00-18:00
Mantas Bakšys and Yaël Dillies (University of Cambridge).
Thursday 01 February 2024, 17:00-18:00
Note unusual time
Professor Siddhartha Gadgil (Indian Institute of Science).
Wednesday 17 January 2024, 13:00-14:00
Note: different room, MR20 this time
Yaël Dillies (University of Cambridge).
MR20 Centre for Mathematical Sciences.
Thursday 22 June 2023, 17:00-18:00
Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Professor Sébastien Gouëzel (Université de Rennes).
Thursday 15 June 2023, 17:00-18:00
Dr Alex J. Best (King's College London).
Thursday 08 June 2023, 17:00-18:00
Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).
Thursday 01 June 2023, 17:00-18:00
Professor Lawrence C. Paulson FRS (University of Cambridge).
Centre for Mathematical Sciences MR12, CMS.
Thursday 25 May 2023, 17:00-18:00
Hybrid talk (please see abstract for link)
Professor Patrick Massot (Université Paris-Saclay).
Thursday 18 May 2023, 17:00-18:00
Dr Matthieu Piquerez (INRIA, Université de Nantes).
Thursday 11 May 2023, 17:00-18:00
Professor Heather Macbeth (Fordham University).
Thursday 04 May 2023, 17:00-18:00
Dr Chris Birkbeck (University of East Anglia).
Thursday 27 April 2023, 17:00-18:00
Chelsea Edmonds (University of Cambridge).
Thursday 16 March 2023, 17:00-18:00
[CANCELLED, please check back for rescheduling]
Dr Wenda Li (University of Cambridge), Artem Khovanov (University of Cambridge) and Michael Nedzelsky (Diffblue Ltd).
Thursday 09 March 2023, 17:00-18:00
Nils Lauermann (INRIA).
Thursday 02 March 2023, 17:00-18:00
Mantas Bakšys (University of Cambridge).
Thursday 23 February 2023, 17:00-18:00
Albert Qiaochu Jiang (University of Cambridge).
Thursday 16 February 2023, 17:00-18:00
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00
Thursday 02 February 2023, 17:00-18:00
Marco David (École Normale Supérieure de Paris).
Thursday 26 January 2023, 17:00-18:00
Thursday 19 January 2023, 17:00-18:00
Motivic stable homotopy theory study group
Marcus Zibrowius ( University of Cambridge).
somewhere in the Centre for Mathematical Sciences.
Friday 26 February 2010, 16:30-18:00
Peter Arndt (Göttingen).
Venue to be confirmed.
Tuesday 23 February 2010, 16:30-18:00
Andreas Holmstrom (University of Cambridge).
MR11, Centre for Mathematical Sciences.
Thursday 18 February 2010, 16:30-18:00
Peter Arndt ( Göttingen).
MR5, Centre for Mathematical Sciences.
Tuesday 16 February 2010, 17:00-18:30
Alexander Shannon (University of Cambridge).
Thursday 04 February 2010, 17:00-18:00
Marcus Zibrowius, University of Cambridge.
MR3, Centre for Mathematical Sciences.
Tuesday 02 February 2010, 17:00-18:00
Thursday 28 January 2010, 16:30-18:00
Peter Arndt, Göttingen.
Tuesday 19 January 2010, 17:00-18:30
Number Theory Study Group: P-adic Analysis
Rachel Newton (University of Cambridge).
MR13, CMS.
Thursday 19 November 2009, 14:00-15:00
Sarah to make cake
David Loeffler (University of Cambridge).
MR5, CMS.
Thursday 12 November 2009, 14:00-15:00
Vladimir to make cake
Yunling Kang (Nanjing University).
Thursday 05 November 2009, 14:00-15:00
Alex Bartel (University of Cambridge).
Discussion Room, Newton Institute.
Thursday 29 October 2009, 14:00-15:00
Tim to make cake
Chern-Yang Lee (University of Cambridge) and Zhibin Liang (Capital Normal University, Beijing).
Thursday 22 October 2009, 14:00-15:00
Antonio Lei (University of Cambridge).
Thursday 15 October 2009, 14:00-15:00
Number Theory Study Group: Langlands correspondence
Andreas Holmstrom.
MR13.
Wednesday 12 March 2008, 09:00-10:00
Gergely Zabradi.
Thursday 06 March 2008, 13:00-14:30
Mahesh Kakde.
Thursday 28 February 2008, 13:00-14:30
Alex Chmelnitzki.
Thursday 21 February 2008, 13:00-14:30
Chern-Yang Lee/Alex Chmelnitzki.
Thursday 14 February 2008, 13:00-14:30
Chern-Yang Lee.
Thursday 07 February 2008, 13:00-14:30
Ant Lei.
Thursday 31 January 2008, 13:00-14:30
Tobias Berger (DPMMS).
Thursday 24 January 2008, 13:00-14:30
Study Group on a Langlands Correspondence for Loop Groups
Speaker to be confirmed.
MR 4.
Tuesday 20 November 2007, 16:00-18:00
Tuesday 13 November 2007, 16:00-18:00
Tuesday 06 November 2007, 16:00-18:00
Tuesday 30 October 2007, 16:00-18:00
Tuesday 23 October 2007, 16:00-18:00
Tuesday 16 October 2007, 16:00-18:00
M. Strauch, DPMMS.
Tuesday 09 October 2007, 16:30-18:00
MR 13.
Friday 05 October 2007, 16: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
![[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)
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 2025, 17:00-18:00