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.
-
01MaySrinivasan Keshav, University of Cambridge
-
01MaySmita Vijayakumar, Systems Research Group, Cambridge University Computer LaboratorySystems Research Group Seminar
-
01MayKevin Buzzard (Imperial College London)Formalisation of mathematics with interactive theorem provers
-
02MayZifeng Ding (University of Cambridge)NLIP Seminar Series
-
06MayEmilie Ma
-
07MayDr Geoff Sutcliffe - Department of Computer Science, University of Miami, USA
-
08MayAndrea Domiter, University of Cambridge
-
08MayAndrew Yang (Imperial College, London)Formalisation of mathematics with interactive theorem provers
-
09MayArthur Conmy (Google DeepMind)NLIP Seminar Series
-
09MayJakub Oprsal (University of Birmingham)Logic and Semantics Seminar
-
12MayLukas pertlFoundation AI
-
12MayPhysicsFoundation AI
-
13MayMike Mamalakis (University of Cambridge)Artificial Intelligence Research Group Talks
-
13MayLongfei Shangguan, University of PittsburghMobile and Wearable Health Seminar Series
-
14MayDr Edwin Brady - School of Computer Science, University of St Andrews
-
15MayAndrei Popescu (University of Sheffield)Formalisation of mathematics with interactive theorem provers
-
16MayPaul Röttger (Bocconi University)NLIP Seminar Series
-
20MaySunoo Park, NYU
-
21MayDr Elliott Wu - Department of Engineering, University of Cambridge
-
23MayDr. Sangwoong Yoon (UCL)NLIP Seminar Series
-
28MaySpeaker to be confirmed
-
30MayPietro Lesci (University of Cambridge)NLIP Seminar Series
-
03JunRajalakshmi Nandakumar, Cornell UniversityMobile and Wearable Health Seminar Series
-
04JunProfessor Gabriele Gradoni - Institute for Communication Systems, University of Surrey and visiting academic at the Department of Computer Science and Technology, University of Cambridge
-
06JunCatherine Arnett and Tyler Chang (EleutherAI and UC San Diego)NLIP Seminar Series
-
13JunJaap Jumelet (University of Groningen)NLIP Seminar Series
-
19JunJujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem)Formalisation of mathematics with interactive theorem provers
