Talks.cam will close on 1 July 2026, further information is available on the UIS Help Site
 

University of Cambridge > Talks.cam > sb2743's list

sb2743's list

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

A personal list of talks.

Tell a friend about this list:

If you have a question about this list, please contact: Siddharth Bhat. If you have a question about a specific talk, click on that talk to find its organiser.

8 upcoming talks and 389 talks in the archive.

Archimedeans Talks MT25

Title to be confirmed

UserEnrico Pajer (University of Cambridge).

HouseCMS MR2.

ClockFriday 14 November 2025, 18:00-19:00

Quantum Computing Seminar

Title to be confirmed

UserEarl Campbell (Sheffield/Riverlane).

HouseComputer Laboratory, William Gates Building, Room SS03.

ClockTuesday 18 November 2025, 14:00-15:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserJovan Gerbsheid (University of Cambridge).

HouseCentre for Mathematical Sciences, MR14.

ClockThursday 20 November 2025, 17:00-18:00

Archimedeans Talks MT25

Title to be confirmed

UserJoni Teravainen.

HouseCMS MR2.

ClockFriday 21 November 2025, 18:00-19:00

Formalisation of mathematics with interactive theorem provers

TBC

UserRené Thiemann (University of Innsbruck).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 27 November 2025, 17:00-18:00

Archimedeans Talks MT25

Title to be confirmed

UserGareth Wilkes (University of Cambridge).

HouseCMS MR2.

ClockFriday 28 November 2025, 18:00-19:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserChase Norman (Carnegie Mellon University).

HouseCentre for Mathematical Sciences, MR14.

ClockFriday 05 December 2025, 17:00-18:00

DPMMS Departmental Colloquia

Title to be confirmed

UserRichard Samworth (Cambridge) .

HouseCMS MR2.

ClockThursday 22 January 2026, 16:00-17: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