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 45 talks in the archive.
Formalisation of mathematics with interactive theorem provers
Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).
MR20 Centre for Mathematical Sciences.
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
Professor Kevin Buzzard (Imperial College London).
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-2023 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)
Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).
Thursday 01 June 2023, 17:00-18:00