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

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

42 upcoming talks and 4127 talks in the archive: show first 500.

Computer Laboratory Systems Research Group Seminar

OSDB: Turning the Tables on Kernel Data

UserGeorge V. Neville-Neil, Elephance, Yale, Cambridge.

HouseComputer Lab, FW11.

ClockThursday 23 January 2025, 15:00-16:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserSiddharth Bhat (University of Cambridge).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 23 January 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserIra Ktena and Olivia Wiles, DeepMind.

HouseComputer Lab, FW26 and Online.

ClockTuesday 28 January 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 29 January 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserEmily Riehl (Johns Hopkins University).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 30 January 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserShyam Tailor, Google.

HouseComputer Lab, FW26 and Online.

ClockTuesday 11 February 2025, 16:00-17:00

Wednesday Seminars - Department of Computer Science and Technology

Hardware Datapath: For Machine Learning and Beyond

UserProfessor George A. Constantinides - Professor of Digital Computation, Department of Electrical and Electronic Engineering, Imperial College London.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

ClockWednesday 12 February 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserDavid Angdinata (University College London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 February 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserRajalakshmi Nandakumar, Cornell University.

HouseOnline.

ClockTuesday 25 February 2025, 16:00-17:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserFrancisco Ferreira Ruiz (Royal Holloway, University of London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 27 February 2025, 17:00-18:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrei Popescu (University of Sheffield).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 06 March 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Wearable electrocardiography: from Holter to handheld devices

please note the change of time for this talk

UserPeter Charlton (University of Cambridge).

HouseComputer Lab, LT2 and Online.

ClockTuesday 11 March 2025, 14:00-15: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 12 March 2025, 15:05-15:55

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

UserAndrew Yang (Imperial College, London).

HouseMR14 Centre for Mathematical Sciences.

ClockThursday 13 March 2025, 17:00-18:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserMarianna Obrist, UCL.

HouseComputer Lab, FW26 and Online.

ClockTuesday 18 March 2025, 16:00-17:00

Mobile and Wearable Health Seminar Series

Title to be confirmed

UserLongfei Shangguan, University of Pittsburgh.

HouseOnline.

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

Wednesday Seminars - Department of Computer Science and Technology

Title to be confirmed

UserDr Prakash Murali - Department of Computer Science and Technology, University of Cambridge.

HouseLecture Theatre 1, Computer Laboratory, William Gates Building.

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

Please see above for contact details for this list.

 

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