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

  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

ack55's list

Further detail
Subscribe using ical/vcal (Help)

A personal list of talks.

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

7 upcoming talks and 511 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

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Tomas Petricek - Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Czech Republic.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 06 May 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Simon Moore - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 13 May 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Tom Stafford - School of Psychology, Universitry of Sheffield.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 20 May 2026, 15:05-15:55

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor David Kotz - Department of Computer Science, Dartmouth College.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 27 May 2026, 15:00-16: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

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Hana Aliee - Cancer Research UK, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 03 June 2026, 15:05-15:55

Please see above for contact details for this list.

Other lists

Dept of Chemistry, Unilever Lecture Theatre Cambridge University Engineering Department, Lecture Room number LR4 Nihon Room, Pembroke College

Other talks

Title TBC Title to be confirmed Quantum graphs with a time asymmetry: spectral optimization and spectral statistics Early cancer clinical trials Title TBC Filial Lines: Art Spiegelman, Alison Bechdel, and Comics Form
 

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