University of Cambridge > Talks.cam > DPMMS Pure Maths study groups

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

Tell a friend about this list:

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.

14 upcoming talks and 33 talks in the archive.

Formalisation of mathematics with interactive theorem provers

The Liquid Tensor Experiment

UserProfessor Kevin Buzzard (Imperial College London).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 02 February 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

How Hilbert met Isabelle: Proof Between Generations

Hybrid talk (please see abstract for link)

UserMarco David (École Normale Supérieure de Paris).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 26 January 2023, 17:00-18:00

Motivic stable homotopy theory study group

An Unstable Representability Criterion

UserMarcus Zibrowius ( University of Cambridge).

Housesomewhere in the Centre for Mathematical Sciences.

ClockFriday 26 February 2010, 16:30-18:00

Motivic stable homotopy theory study group

Examples of motivic spectra

UserPeter Arndt (Göttingen).

HouseVenue to be confirmed.

ClockTuesday 23 February 2010, 16:30-18:00

Motivic stable homotopy theory study group

Stable homotopy theory over general base schemes

UserAndreas Holmstrom (University of Cambridge).

HouseMR11, Centre for Mathematical Sciences.

ClockThursday 18 February 2010, 16:30-18:00

Motivic stable homotopy theory study group

Stable (infinity-1)-categories

UserAlexander Shannon (University of Cambridge).

HouseMR11, Centre for Mathematical Sciences.

ClockThursday 04 February 2010, 17:00-18:00

Motivic stable homotopy theory study group

The Thom isomorphism

UserMarcus Zibrowius, University of Cambridge.

HouseMR3, Centre for Mathematical Sciences.

ClockTuesday 02 February 2010, 17:00-18:00

Motivic stable homotopy theory study group

The Nisnevich topology and the Thom isomorphism

UserMarcus Zibrowius, University of Cambridge.

HouseMR11, Centre for Mathematical Sciences.

ClockThursday 28 January 2010, 16:30-18:00

Number Theory Study Group: P-adic Analysis

Introduction to Lubin-Tate theory

UserRachel Newton (University of Cambridge).

HouseMR13, CMS.

ClockThursday 19 November 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

The Fourier transform for Z_p

Sarah to make cake

UserDavid Loeffler (University of Cambridge).

HouseMR5, CMS.

ClockThursday 12 November 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

Locally analytic functions and distributions on Z_p

Vladimir to make cake

UserYunling Kang (Nanjing University).

HouseMR5, CMS.

ClockThursday 05 November 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

Continuous functions and measures on Z_p

Sarah to make cake

UserAlex Bartel (University of Cambridge).

HouseDiscussion Room, Newton Institute.

ClockThursday 29 October 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

Topological vector spaces

Tim to make cake

UserChern-Yang Lee (University of Cambridge) and Zhibin Liang (Capital Normal University, Beijing).

HouseDiscussion Room, Newton Institute.

ClockThursday 22 October 2009, 14:00-15:00

Number Theory Study Group: P-adic Analysis

Functions defined by power series

Tim to make cake

UserAntonio Lei (University of Cambridge).

HouseMR5, CMS.

ClockThursday 15 October 2009, 14:00-15:00

Number Theory Study Group: Langlands correspondence

Functoriality

UserAndreas Holmstrom.

HouseMR13.

ClockWednesday 12 March 2008, 09:00-10:00

Number Theory Study Group: Langlands correspondence

L-groups

UserGergely Zabradi.

HouseMR13.

ClockThursday 06 March 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Global Langlands correspondence

UserMahesh Kakde.

HouseMR13.

ClockThursday 28 February 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Local Langlands Correspondence

UserAlex Chmelnitzki.

HouseMR13.

ClockThursday 21 February 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Title to be confirmed

UserChern-Yang Lee/Alex Chmelnitzki.

HouseMR13.

ClockThursday 14 February 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Automorphic forms

UserChern-Yang Lee.

HouseMR13.

ClockThursday 07 February 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Algebraic groups

UserAnt Lei.

HouseMR13.

ClockThursday 31 January 2008, 13:00-14:30

Number Theory Study Group: Langlands correspondence

Introduction and layout of the talks

UserTobias Berger (DPMMS).

HouseMR13.

ClockThursday 24 January 2008, 13:00-14:30

Study Group on a Langlands Correspondence for Loop Groups

Opers

UserSpeaker to be confirmed.

HouseMR 4.

ClockTuesday 06 November 2007, 16:00-18:00

Study Group on a Langlands Correspondence for Loop Groups

Vertex Algebras II

UserMahesh Kakde.

HouseMR 4.

ClockTuesday 16 October 2007, 16:00-18:00

Study Group on a Langlands Correspondence for Loop Groups

Vertex Algebras I

UserM. Strauch, DPMMS.

HouseMR 4.

ClockTuesday 09 October 2007, 16:30-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