University of Cambridge > Talks.cam > 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.
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 4495 talks in the archive: show first 500.
Artificial Intelligence Research Group Talks (Computer Laboratory)
Arduin Findeis (University of Cambridge).
Lecture Theatre 2, Computer Laboratory, William Gates Building.
Tuesday 17 June 2025, 13:00-14:00
Computer Laboratory Security Seminar
Michael A. Specter, Georgia Tech.
Webinar & LT2, Computer Laboratory, William Gates Building..
Tuesday 17 June 2025, 14:00-15:00
Cambridge ML Systems Seminar Series
Max Ryabinin.
Computer Lab, LT1.
Wednesday 18 June 2025, 15:00-16:00
Formalisation of mathematics with interactive theorem provers
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
MR14 Centre for Mathematical Sciences.
Thursday 19 June 2025, 17:00-18:00
NLIP Seminar Series
Szilvia Ujvary (University of Cambridge).
ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
Friday 20 June 2025, 12:00-13:00
Andrei Paleyes (University of Cambridge).
Tuesday 24 June 2025, 13:00-14:00
compiler socials
Katharina Ceesay-Seitz, ETH Zurich.
Computer Laboratory, William Gates Building, LT2.
Monday 30 June 2025, 13:00-14:00
Energy and Environment Group, Department of CST
Orlando Timmerman, University of Cambridge.
Room GS15 at the William Gates Building and on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Thursday 03 July 2025, 13:00-14:00
Julia Gschwind ETH Zurich, University of Cambridge.
Thursday 17 July 2025, 13:00-14:00
Salma Kharrat, Kaust.
Computer Lab, FW26.
Monday 04 August 2025, 11:00-12:00
Foundation AI
Valeria Ruscio.
Thursday 04 June 2026, 17:00-17:45
Please see above for contact details for this list.
© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity
![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small}
![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071)
Arduin Findeis (University of Cambridge).
Tuesday 17 June 2025, 13:00-14:00