University of Cambridge > Talks.cam > djw1005's 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: Damon Wischik. If you have a question about a specific talk, click on that talk to find its organiser.
16 upcoming talks and 4882 talks in the archive: show first 500.
Energy and Environment Group, Department of CST
Madeline Lisaius, 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 05 June 2025, 13:00-14:00
compiler socials
John Regehr - University of Utah.
Computer Laboratory, William Gates Building, LT1.
Thursday 05 June 2025, 15:00-16:00
Logic and Semantics Seminar (Computer Laboratory)
Nicola Gambino ( University of Manchester).
SS03, Computer Laboratory.
Friday 06 June 2025, 14:00-15:00
NLIP Seminar Series
Catherine Arnett and Tyler Chang (EleutherAI and UC San Diego).
ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
Friday 06 June 2025, 15:00-16:00
Artificial Intelligence Research Group Talks (Computer Laboratory)
In-person and virtual (link coming soon) - and will be recorded.
Chaitanya Joshi.
Lecture Theatre 1, Computer Laboratory, William Gates Building.
Tuesday 10 June 2025, 13:00-14:00
Machine Learning Reading Group @ CUED
Yingzhen Li (Imperial College London).
Cambridge University Engineering Department, CBL Seminar room BE4-38..
Thursday 12 June 2025, 11:00-12:30
Jaap Jumelet (University of Groningen).
Friday 13 June 2025, 12:00-13:00
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
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
Szilvia Ujvary (University of Cambridge).
Friday 20 June 2025, 12:00-13:00
Andrei Paleyes (University of Cambridge).
Tuesday 24 June 2025, 13:00-14:00
Orlando Timmerman, University of Cambridge.
Thursday 03 July 2025, 13:00-14:00
Julia Gschwind ETH Zurich, University of Cambridge.
Thursday 17 July 2025, 13:00-14: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)
Madeline Lisaius, University of Cambridge.
Thursday 05 June 2025, 13:00-14:00