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

Wolfson Lecture Theatre, Department of Chemistry (NOTE: CHANGE OF VENUE) Scott Polar Research Institute, Museum Store CambPlants Hub

Other talks

Title and abstract tba Group Work Title to be confirmed Machine Learning for Spectral Geometry and Vice Versa What’s my reproduction number? Life history strategies: an interdisciplinary perspective Science & the Public in Action: Can and should climate scientists be activists?
 

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