University of Cambridge > Talks.cam > Your personal list

Your personal 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: Dr Nigel Bennee. If you have a question about a specific talk, click on that talk to find its organiser.

11 upcoming talks and 4493 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