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.

14 upcoming talks and 3657 talks in the archive: show first 500.

Computer Laboratory Security Seminar

A Sociotechnical Audit: Assessing Police use of Facial Recognition

Note unusual time

UserEvani Radiya-Dixit, Minderoo Centre for Tech & Democracy.

HouseWebinar - link on talks.cam page after 12 noon Tuesday.

ClockTuesday 13 December 2022, 16:00-17:00

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

How Hilbert met Isabelle: Proof Between Generations

Hybrid talk (please see abstract for link)

UserMarco David (École Normale Supérieure de Paris).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 26 January 2023, 17:00-18:00

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

UserMatthew Parkinson, Microsoft Research.

HouseSS03.

ClockFriday 27 January 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserMahsa Shirmohammadi, University of Paris.

HouseSS03.

ClockFriday 03 February 2023, 14:00-15:00

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

TBC

Hybrid talk (please see abstract for link)

UserDr Manuel Eberl (University of Innsbruck).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 09 February 2023, 17:00-18:00

Formalisation of mathematics with interactive theorem provers [COMING UP IN LENT TERM]

TBC

UserAlbert Qiaochu Jiang (University of Cambridge).

House Centre for Mathematical Sciences MR12, CMS.

ClockThursday 16 February 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