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.
14 upcoming talks and 3657 talks in the archive: show first 500.
Computer Laboratory Security Seminar
Note unusual time
Evani Radiya-Dixit, Minderoo Centre for Tech & Democracy.
Webinar - link on talks.cam page after 12 noon Tuesday.
Tuesday 13 December 2022, 16:00-17:00
Computer Laboratory Systems Research Group Seminar
Yilei Liang, University of Cambridge.
FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.
Thursday 15 December 2022, 15:00-16:00
Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]
Professor Lawrence C. Paulson FRS (University of Cambridge).
Centre for Mathematical Sciences MR12, CMS.
Thursday 19 January 2023, 17:00-18:00
Hybrid talk (please see abstract for link)
Marco David (École Normale Supérieure de Paris).
Thursday 26 January 2023, 17:00-18:00
Energy and Environment Group, Department of CST
David Rolnick, McGill University.
Seminar time is 1pm BST in Room FW 11, Willam Gates Hall. Zoom link: https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon .
Friday 27 January 2023, 13:00-14:00
Logic and Semantics Seminar (Computer Laboratory)
Matthew Parkinson, Microsoft Research.
SS03.
Friday 27 January 2023, 14:00-15:00
Professor Kevin Buzzard (Imperial College London).
Thursday 02 February 2023, 17:00-18:00
Mahsa Shirmohammadi, University of Paris.
Friday 03 February 2023, 14:00-15:00
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00
Albert Qiaochu Jiang (University of Cambridge).
Thursday 16 February 2023, 17:00-18:00
Mantas Bakšys (University of Cambridge).
Thursday 23 February 2023, 17:00-18:00
Speaker to be confirmed.
Thursday 02 March 2023, 17:00-18:00
Thursday 09 March 2023, 17:00-18:00
Thursday 16 March 2023, 17:00-18:00
Please see above for contact details for this list.
© 2006-2022 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)
Evani Radiya-Dixit, Minderoo Centre for Tech & Democracy.
Tuesday 13 December 2022, 16:00-17:00