University of Cambridge > Talks.cam > 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.
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.
26 upcoming talks and 4281 talks in the archive: show first 500.
tcg40's list
Daniel Kroening - AWS.
Computer Laboratory, William Gates Building, LT2.
Wednesday 21 May 2025, 12:00-13:00
Wednesday Seminars - Department of Computer Science and Technology
Dr Elliott Wu - Department of Engineering, University of Cambridge.
Lecture Theatre 1, Computer Laboratory, William Gates Building.
Wednesday 21 May 2025, 15:05-15:55
Energy and Environment Group, Department of CST
Mark Elvers, 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 22 May 2025, 13:00-14:00
Formalisation of mathematics with interactive theorem provers
RESCHEDULED
Andrei Popescu (University of Sheffield).
Online; live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 22 May 2025, 17:00-18:00
NLIP Seminar Series
Dr. Sangwoong Yoon (UCL).
ONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
Friday 23 May 2025, 12:00-13:00
Computer Laboratory Systems Research Group Seminar
Speaker to be confirmed.
Computer Lab, FW11 and Online (MS Teams link to appear below).
Friday 23 May 2025, 15:00-16:00
Artificial Intelligence Research Group Talks (Computer Laboratory)
Giovanna Maria Dimitri, University of Siena (Italy).
Lecture Theatre 2, Computer Laboratory, William Gates Building.
Tuesday 27 May 2025, 13:00-14:00
Computer Laboratory Security Seminar
Emad Heydari Beni & Lode Hoste, Nokia Bell Labs.
Webinar & LT2, Computer Laboratory, William Gates Building..
Tuesday 27 May 2025, 14:00-15:00
Dr Gabriele Cesa - Qualcomm AI Research, Amsterdam.
Wednesday 28 May 2025, 15:05-15:55
Yihang She, University of Cambridge.
Thursday 29 May 2025, 13:00-14:00
Jonas Bayer (University of Cambridge).
MR14 Centre for Mathematical Sciences.
Thursday 29 May 2025, 17:00-18:00
Pietro Lesci (University of Cambridge).
Room FW26 with Hybrid Format. Here is the Zoom link for those that wish to join online: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.
Friday 30 May 2025, 12:00-13:00
Logic and Semantics Seminar (Computer Laboratory)
Son Ho (Azure Research team).
SS03, Computer Laboratory.
Friday 30 May 2025, 14:00-15:00
hybrid and recorded
Chaitanya Joshi.
somewhere, Computer Laboratory, William Gates Building.
Tuesday 03 June 2025, 13:00-14:00
Dr Julia Slupska, Ofcom.
Webinar (via Zoom online).
Tuesday 03 June 2025, 14:00-15:00
Mobile and Wearable Health Seminar Series
Rajalakshmi Nandakumar, Cornell University.
Online.
Tuesday 03 June 2025, 16:00-17:00
compiler socials
John Regehr - University of Utah.
Computer Laboratory, William Gates Building, LT1.
Thursday 05 June 2025, 15:00-16:00
Catherine Arnett and Tyler Chang (EleutherAI and UC San Diego).
Friday 06 June 2025, 15:00-16:00
Jaap Jumelet (University of Groningen).
Friday 13 June 2025, 12:00-13:00
Arduin Findeis (University of Cambridge).
Tuesday 17 June 2025, 13:00-14:00
Michael A. Specter, Georgia Tech.
Tuesday 17 June 2025, 14:00-15:00
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem).
Thursday 19 June 2025, 17:00-18:00
Szilvia Ujvary (University of Cambridge).
Friday 20 June 2025, 12:00-13:00
Tom Ratsakatika, University of Cambridge.
Thursday 26 June 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)
Daniel Kroening - AWS.
Wednesday 21 May 2025, 12:00-13:00