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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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

31 upcoming talks and 4257 talks in the archive: show first 500.

Foundation AI

Sphere Embedding: The Atom for Explainable and Reliable AI and Machine Reasoning (Part 1)

UserTiansi Dong.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 29 April 2025, 17:00-17:45

Energy and Environment Group, Department of CST

Is There Hope for the Climate?

UserSrinivasan Keshav, University of Cambridge.

HouseGS15, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockThursday 01 May 2025, 13:00-14:00

Computer Laboratory Systems Research Group Seminar

The Case for Decentralized Scheduling in Modern Datacenters

UserSmita Vijayakumar, Systems Research Group, Cambridge University Computer Laboratory.

HouseComputer Lab, FW11 and Online (MS Teams link below).

ClockThursday 01 May 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Formalizing Fermat: an update

UserKevin Buzzard (Imperial College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 01 May 2025, 17:00-18:00

NLIP Seminar Series

Asymmetry in Supposedly Equivalent Facts: Pre-training Bias in Large Language Models

UserZifeng Ding (University of Cambridge).

HouseRoom 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.

ClockFriday 02 May 2025, 12:00-13:00

Cambridge ML Systems Seminar Series

Frontiers in Embodied AI for Autonomous Driving

UserJamie Shotton, Wayve.

HouseComputer Lab, LT1.

ClockFriday 02 May 2025, 14:00-15:00

Computer Laboratory Security Seminar

Kintsugi: A Decentralized E2EE Key Recovery Protocol

UserEmilie Ma.

House Webinar (via Zoom online).

ClockTuesday 06 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

The TPTP World - Infrastructure for Automated Reasoning

UserDr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 07 May 2025, 15:05-15:55

Energy and Environment Group, Department of CST

Machine Learning for Building-Level Heat Risk Mapping

UserAndrea Domiter, University of Cambridge.

HouseRoom SS03 at the William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .

ClockThursday 08 May 2025, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrew Yang (Imperial College, London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 08 May 2025, 17:00-18:00

NLIP Seminar Series

Title to be confirmed

UserArthur Conmy (Google DeepMind).

HouseRoom 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.

ClockFriday 09 May 2025, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

A topological proof of the H-colouring dichotomy

UserJakub Oprsal (University of Birmingham).

HouseSS03, Computer Laboratory.

ClockFriday 09 May 2025, 14:00-15:00

Foundation AI

bla bla

UserLukas pertl.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 12 May 2025, 17:00-17:45

Foundation AI

bla bla

UserPhysics.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockMonday 12 May 2025, 17:00-17:45

Artificial Intelligence Research Group Talks (Computer Laboratory)

Explainable AI in Neuroscience: From Interpretability to Biomarker Discovery

UserMike Mamalakis (University of Cambridge).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 13 May 2025, 13:00-14:00

Mobile and Wearable Health Seminar Series

No One Left Behind: Building Low-Cost Wearables for Health Equity

Zoom: https://cam-ac-uk.zoom.us/j/84016051221?pwd=TmAESuU8bWf3VDhZV1AuPb5CejZgJq.1

UserLongfei Shangguan, University of Pittsburgh.

HouseComputer Lab, FW26 and Online.

ClockTuesday 13 May 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Edwin Brady - School of Computer Science, University of St Andrews.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 14 May 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Completeness Theorems for Variations of Higher-Order Logic

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 15 May 2025, 17:00-18:00

NLIP Seminar Series

Title to be confirmed

UserPaul Röttger (Bocconi University).

HouseRoom 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.

ClockFriday 16 May 2025, 12:00-13:00

Computer Laboratory Security Seminar

Title to be confirmed

UserSunoo Park, NYU.

HouseWebinar & LT2, Computer Laboratory, William Gates Building..

ClockTuesday 20 May 2025, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Elliott Wu - Department of Engineering, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 21 May 2025, 15:05-15:55

NLIP Seminar Series

Title to be confirmed

UserDr. Sangwoong Yoon (UCL).

HouseRoom 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.

ClockFriday 23 May 2025, 12:00-13:00

Artificial Intelligence Research Group Talks (Computer Laboratory)

Title to be confirmed

UserGiovanna Maria Dimitri, University of Siena (Italy).

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 27 May 2025, 13:00-14:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserSpeaker to be confirmed.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 28 May 2025, 15:05-15:55

NLIP Seminar Series

Title to be confirmed

UserPietro Lesci (University of Cambridge).

HouseRoom 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.

ClockFriday 30 May 2025, 12:00-13:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserRajalakshmi Nandakumar, Cornell University.

HouseOnline.

ClockTuesday 03 June 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserProfessor Gabriele Gradoni - Institute for Communication Systems, University of Surrey and visiting academic at the Department of Computer Science and Technology, University of Cambridge .

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 04 June 2025, 15:05-15:55

NLIP Seminar Series

Title to be confirmed

UserCatherine Arnett and Tyler Chang (EleutherAI and UC San Diego).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 06 June 2025, 15:00-16:00

NLIP Seminar Series

Title to be confirmed

UserJaap Jumelet (University of Groningen).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 13 June 2025, 12:00-13: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

NLIP Seminar Series

Title to be confirmed

UserSzilvia Ujvary (University of Cambridge).

HouseONLINE ONLY. Here is the Zoom link: https://cam-ac-uk.zoom.us/j/4751389294?pwd=Z2ZOSDk0eG1wZldVWG1GVVhrTzFIZz09.

ClockFriday 20 June 2025, 12:00-13:00

Please see above for contact details for this list.

Other lists

Cambiowebinars Seminar Series Feb-Apr 2015 BAS Aurora Innovation Centre Meeting the Challenge of Healthy Ageing in the 21st Century

Other talks

Immigration and Freedom Debtors’ schedules: a new source for understanding the economy in 18th-century England Active vertex model(s) for epithelial cell sheets UK 7T travelling-head study: pilot results Richard Horton (The Lancet Cheif Editor): Scientific Publishing Validation & testing of novel therapeutic targets to treat osteosarcoma Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli Understanding mechanisms and targets of malaria immunity to advance vaccine development Animal Migration Graph Legendrians and SL2 local systems Building intuition about coherence
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity