The department's main seminar series is the Wednesday seminars. In addition to these, several local research groups in the department organize seminar series and weekly discussion groups. These talks often targeted at a more specialist audience, being of prime importance to members of the group. Members of the public should refer to the talks.cam website, and the pages of individual research groups for details of any open talks.
-
02DecKris Cao (DeepMind)NLIP Seminar Series
-
02DecAlison Eyres, University of Cambridge, ZoologyEnergy and Environment Group
-
02DecManuel Araujo, University of CambridgeLogic and Semantics Seminar
-
08DecYilei Liang, University of CambridgeSystems Research Group Seminar
-
09DecOmid Ardakanian, University of AlbertaEnergy and Environment Group
-
13DecEvani Radiya-Dixit, Minderoo Centre for Tech & Democracy
-
19JanProfessor Lawrence C. Paulson FRS (University of Cambridge)Formalisation of mathematics with interactive theorem provers
-
26JanMarco David (École Normale Supérieure de Paris)Formalisation of mathematics with interactive theorem provers
-
27JanDavid Rolnick, McGill UniversityEnergy and Environment Group
-
27JanMatthew Parkinson, Microsoft ResearchLogic and Semantics Seminar
-
02FebProfessor Kevin Buzzard (Imperial College London)Formalisation of mathematics with interactive theorem provers
-
03FebMahsa Shirmohammadi, University of ParisLogic and Semantics Seminar
-
09FebDr Manuel Eberl (University of Innsbruck)Formalisation of mathematics with interactive theorem provers
-
16FebTBCFormalisation of mathematics with interactive theorem provers
-
23FebMantas Bakšys (University of Cambridge)Formalisation of mathematics with interactive theorem provers
