University of Cambridge > Talks.cam > Department of Computer Science and Technology talks and seminars

Department of Computer Science and Technology talks and seminars

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

Merged list of all talks taking place in the Department of Computer Science and Technology. This talk list can also be used to announce individual talks that do not fit into any of the established seminar series.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Dr Robert Harle; Caroline Stewart; Stewart Carswell; Ben Karniely; drp35; ks2162. If you have a question about a specific talk, click on that talk to find its organiser.

10 upcoming talks and 4303 talks in the archive: show first 500.

Cambridge ML Systems Seminar Series

Title to be confirmed

UserMax Ryabinin.

HouseComputer Lab, LT1.

ClockWednesday 18 June 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserJujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 19 June 2025, 17:00-18: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