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

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

DPMMS Pure Maths study groups

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 98 talks in the archive.

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserFloris van Doorn (University of Bonn).

HouseOnline; live-streamed at MR14 Centre for Mathematical Sciences.

ClockThursday 30 April 2026, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserThomas Powell (University of Bath).

HouseCentre for Mathematical Sciences, MR14.

ClockThursday 28 May 2026, 17:00-18:00

Please see above for contact details for this list.

Other lists

FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon Electrical Engineering Seminar Room Rooms 8&9, Faculty of Asian and Middle Eastern Studies

Other talks

Peri-Operative Medicine, and Obstetrics and Gynaecology Morning Break Tea and Coffee Break Title to be confirmed Rothschild Public Lecture: The Quantum Centenary: from Order to Chaos Group Work
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity