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.

9 upcoming talks and 73 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Formalizing the divided power envelope in Lean

UserMaría Inés de Frutos-Fernández (University of Bonn).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 14 November 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

A tour in (formalised) type theory

UserMeven Lennon-Bertrand (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 07 November 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Equational theories project: metatheorems and how to formalise them

UserHernán Ibarra Mejia, THG and Anand Rao Tadipatri, University of Cambridge.

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 31 October 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Teaching using a proof assistant and controlled natural language

UserProfessor Patrick Massot (Université Paris-Saclay and Carnegie Mellon University).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 16 May 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Can a computer judge interestingness?

(NOTE UNUSUAL DAY/TIME)

UserProfessor Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).

HouseMR15 Centre for Mathematical Sciences.

ClockMonday 29 April 2024, 14:00-15:00

DPMMS Departmental Colloquia

When is a mathematical object well behaved?

UserJulia Wolf (Cambridge).

HouseCMS MR2.

ClockThursday 25 April 2024, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

The Mandelbrot set is connected (and other Lean explorations)

UserDr Geoffrey Irving (previously Google DeepMind, soon the UK AI Safety Institute).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 29 February 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Experiences with Isabelle/HOL: Formalising Real Algebraic Geometry

UserArtie Khovanov (University of Cambridge), Michael Nedzelsky (Diffblue Ltd) and Dr Wenda Li (University of Edinburgh).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 22 February 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Structures in dependent type theory

Online

UserProfessor Jeremy Avigad (Carnegie Mellon University).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 15 February 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

How to prove Fermat's Last Theorem

Online

UserProfessor Kevin Buzzard (Imperial College London).

HouseLive-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 08 February 2024, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Towards Autoformalization and Mathematical Reasoning using language models

Note unusual time

UserProfessor Siddhartha Gadgil (Indian Institute of Science).

HouseMR14 Centre for Mathematical Sciences.

ClockWednesday 17 January 2024, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Roth numbers: Upper, lower bounds, and related constructions

Note: different room, MR20 this time

UserYaël Dillies (University of Cambridge).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 22 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Formalizing the change of variables formula for integrals in mathlib

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Sébastien Gouëzel (Université de Rennes).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 15 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Formalizing algebraic number theory, recent progress and future challenges

Note: different room, MR20 this time

UserDr Alex J. Best (King's College London).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 08 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

The leanest automata

Hybrid talk (please see abstract for link) Note: different room, MR20 this time

UserProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).

HouseMR20 Centre for Mathematical Sciences.

ClockThursday 01 June 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Explaining mathematics using formalized mathematics

Hybrid talk (please see abstract for link)

UserProfessor Patrick Massot (Université Paris-Saclay).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 18 May 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Formalization of diagram chasing as a first-order logic in Coq

Hybrid talk (please see abstract for link)

UserDr Matthieu Piquerez (INRIA, Université de Nantes).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 11 May 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Smooth vector bundles in Lean

Hybrid talk (please see abstract for link)

UserProfessor Heather Macbeth (Fordham University).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 04 May 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

[CANCELLED] Real Closed Field and Thom Encoding in Isabelle/HOL

[CANCELLED, please check back for rescheduling]

UserDr Wenda Li (University of Cambridge), Artem Khovanov (University of Cambridge) and Michael Nedzelsky (Diffblue Ltd).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 March 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Formalising Turán's Graph Theorem in Isabelle/HOL

Hybrid talk (please see abstract for link)

UserNils Lauermann (INRIA).

House Centre for Mathematical Sciences MR12, CMS.

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

Formalisation of mathematics with interactive theorem provers

Some practical problems in formalising mathematics and how to solve them

Hybrid talk (please see abstract for link)

UserDr Manuel Eberl (University of Innsbruck).

House Centre for Mathematical Sciences MR12, CMS.

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

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-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity