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.
2 upcoming talks and 84 talks in the archive.
Formalisation of mathematics with interactive theorem provers
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).
MR14 Centre for Mathematical Sciences.
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