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. If you have a question about a specific talk, click on that talk to find its organiser.
50 upcoming talks and 3981 talks in the archive: show first 500.
Formalisation of mathematics with interactive theorem provers
(NOTE UNUSUAL DAY/TIME)
Michael Douglas (Center of Mathematical Sciences and Applications, Harvard University).
MR15 Centre for Mathematical Sciences.
Monday 29 April 2024, 14:00-15:00
Artificial Intelligence Research Group Talks (Computer Laboratory)
Nitarshan Rajkumar (University of Cambridge & UK AI Safety Institute).
Lecture Theatre 2, Computer Laboratory, William Gates Building.
Tuesday 30 April 2024, 13:00-14:00
Algorithms and Complexity Seminar
Igor Carboni Oliveira (University of Warwick).
Computer Laboratory, William Gates Building, Room SS03.
Tuesday 30 April 2024, 14:00-15:00
Mobile and Wearable Health Seminar Series
Zoom: https://cam-ac-uk.zoom.us/j/82137851196?pwd=M1NNeExnYk9VQ0JhUDlaWThydGlGQT09
Katarzyna Wac, University of Geneva.
Computer Lab, FW26 and Online.
Tuesday 30 April 2024, 16:00-17:00
Logic and Semantics Seminar (Computer Laboratory)
Note the unusual date and time.
Andrej Bauer, University of Ljubljana.
SS03, Computer Laboratory.
Wednesday 01 May 2024, 10:00-11:00
Wednesday Seminars - Department of Computer Science and Technology
Professor Bruno Correia - Laboratory of Protein Design and Immunoengineering, EPFL Swiss Federal Institute of Technology, Lausanne..
Lecture Theatre 1, Computer Laboratory, William Gates Building.
Wednesday 01 May 2024, 15:05-15:55
Johan Commelin (Utrecht University).
Live-streamed at MR14 Centre for Mathematical Sciences.
Thursday 02 May 2024, 17:00-18:00
NLIP Seminar Series
Speaker to be confirmed.
FW26, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 03 May 2024, 12:00-13:00
Energy and Environment Group, Department of CST
Aaditeshwar Seth, Indian Institute of Technology Delhi.
FW11, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 03 May 2024, 13:00-14:00
Computer Laboratory Security Seminar
Jose Gilberto Atondo Siu (University of Cambridge).
Zoom webinar - link to follow.
Tuesday 07 May 2024, 14:00-15:00
Zoom: https://cam-ac-uk.zoom.us/j/86706559019?pwd=TU1mVkV4dWpla0hyVDkyaG4zMU5mQT09
George Malliaras (Department of Engineering, University of Cambridge).
Tuesday 07 May 2024, 16:00-17:00
Tomas Skrivan (Carnegie Mellon University).
Thursday 09 May 2024, 17:00-18:00
Dominik Stammbach, ETH Zürich.
Friday 10 May 2024, 13:00-14:00
Dominik Stammbach, ETH Zurich.
Room FW26 at CL or William Gates Building or on Zoom: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Jack O'Connor (University of Cambridge).
Tuesday 14 May 2024, 14:00-15:00
Dr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL.
Wednesday 15 May 2024, 15:05-15:55
Patrick Massot (Université Paris-Saclay and Carnegie Mellon University).
Thursday 16 May 2024, 17:00-18:00
Friday 17 May 2024, 12:00-13:00
Zoom: https://cam-ac-uk.zoom.us/j/82997731682?pwd=cTFJdmd5aEcxWVU4SjhJcW5HRWt5dz09
Kun QIAN, School of Medical Technology Beijing Institute of Technology China.
Online (zoom link will appear shortly before the talk).
Tuesday 21 May 2024, 16:00-17:00
Georges Gonthier.
Thursday 23 May 2024, 17:00-18:00
Friday 24 May 2024, 12:00-13:00
Anaïs Berkes - Department of Computer Science and Technology, University of Cambridge.
Friday 24 May 2024, 13:00-14:00
Laszlo Vegh (London School of Economics).
Tuesday 28 May 2024, 14:00-15:00
Zoom: https://cam-ac-uk.zoom.us/j/81281212346?pwd=Z0FwS3h3Uy9hV0I2ZlR1dnUva3RVdz09
Qian Zhang, Hong Kong University of Science and Technology.
Tuesday 28 May 2024, 16:00-17:00
SS03, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 31 May 2024, 12:00-13:00
Andres Arcia-Moret, AMD - former researcher at UCAM.
Friday 31 May 2024, 13:00-14:00
Amelia (Mia) Hassoun, University of Cambridge.
Online & LT2, Computer Laboratory, William Gates Building..
Tuesday 04 June 2024, 14:00-15:00
Friday 07 June 2024, 12:00-13:00
Frank Feng, Independent Researcher.
GN06, William Gates Building. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 07 June 2024, 13:00-14:00
Sagnik Mukhopadhyay (Sheffield).
Tuesday 11 June 2024, 14:00-15:00
Tobias Nipkow (Technische Universität München).
Thursday 13 June 2024, 17:00-18:00
Friday 14 June 2024, 12:00-13:00
Friday 14 June 2024, 13:00-14:00
Loïc Lannelongue, Heart and Lungs Research Institute, DPHPC, University of Cambridge.
Friday 21 June 2024, 13:00-14:00
Friday 28 June 2024, 13:00-14:00
Anke Weidlich from Albert-Ludwigs-Universität Freiburg.
Friday 05 July 2024, 13:00-14:00
Friday 12 July 2024, 13:00-14:00
Friday 19 July 2024, 13:00-14:00
Friday 26 July 2024, 13:00-14:00
Friday 11 October 2024, 13:00-14:00
Astrid Nieße, Carl von Ossietzky Universität Oldenburg.
Friday 18 October 2024, 13:00-14:00
Friday 25 October 2024, 13:00-14:00
Friday 01 November 2024, 13:00-14:00
Friday 08 November 2024, 13:00-14:00
Ronita Bardhan, University of Cambridge.
Friday 15 November 2024, 13:00-14:00
Friday 22 November 2024, 13:00-14:00
Friday 29 November 2024, 13:00-14:00
Friday 06 December 2024, 13:00-14:00
Please see above for contact details for this list.
© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity