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.
20 upcoming talks and 3760 talks in the archive: show first 500.
Computer Laboratory Computer Architecture Group Meeting
Christophe Dubach (McGill University).
SS03, Computer Laboratory, William Gates Building.
Thursday 01 June 2023, 14:00-15:00
Formalisation of mathematics with interactive theorem provers
Hybrid talk (please see abstract for link) Note: different room, MR20 this time
Professor Bjørn Kjos-Hanssen (University of Hawaii at Manoa).
MR20 Centre for Mathematical Sciences.
Thursday 01 June 2023, 17:00-18:00
NLIP Seminar Series
Dustin Wright (University of Copenhagen).
Computer Lab, SS03.
Friday 02 June 2023, 12:00-13:00
Energy and Environment Group, Department of CST
Clement Atzberger, BOKU university & Mantle Labs Ltd..
FW 11, Willam Gates Hall. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 02 June 2023, 13:00-14:00
Artificial Intelligence Research Group Talks (Computer Laboratory)
Charlotte Out.
Lecture Theatre 2, Computer Laboratory, William Gates Building and Zoom.
Tuesday 06 June 2023, 13:00-14:00
Computer Laboratory Security Seminar
Harry Halpin & Ania Piotrowska, Nym Technologies.
Webinar & SS03, Computer Laboratory, William Gates Building..
Tuesday 06 June 2023, 14:00-15:00
Rainbow Group Seminars
Di Fu, University of Hamburg.
SS03.
Thursday 08 June 2023, 11:00-12:00
Note: different room, MR20 this time
Dr Alex J. Best (King's College London).
Thursday 08 June 2023, 17:00-18:00
Marie-Catherine de Marneffe (FNRS – UCLouvain – The Ohio State University).
Computer Lab, FW26.
Friday 09 June 2023, 12:00-13:00
Anil Madhavapeddy ( University of Cambridge).
Friday 09 June 2023, 13:00-14:00
Logic and Semantics Seminar (Computer Laboratory)
Matthew Windsor, University of York.
SS03, Computer Laboratory.
Friday 09 June 2023, 14:00-15:00
Pietro Barbiero (University of Cambridge).
Tuesday 13 June 2023, 13:00-14:00
Computer Laboratory Systems Research Group Seminar
https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Iain Fraser, Netduma.
Thursday 15 June 2023, 15:00-16:00
Professor Sébastien Gouëzel (Université de Rennes).
Thursday 15 June 2023, 17:00-18:00
James Thorne (KAIST).
Computer Lab, TBD.
Friday 16 June 2023, 12:00-13:00
Anaïs Berkes.
Friday 16 June 2023, 13:00-14:00
The Hong Kong Polytechnic University.
Friday 30 June 2023, 13:00-14:00
https://cl-cam-ac-uk.zoom.us/j/99216883530?pwd=OFRHMkh1KzUzVm5EZzFLS0JLUTlMZz09
Dr Giovanni Stracquadanio, The University of Edinburgh.
Lecture Theatre 2.
Wednesday 11 October 2023, 16:00-17:00
Please see above for contact details for this list.
© 2006-2023 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)
Christophe Dubach (McGill University).
Thursday 01 June 2023, 14:00-15:00