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.
-
21JanKai Zhe Zheng (MIT)Algorithms and Complexity Seminar
-
23JanGeorge V. Neville-Neil, Elephance, Yale, CambridgeSystems Research Group Seminar
-
23JanSpeaker to be confirmedDepartment of Computer Science and Technology talks and seminars
-
23JanSiddharth Bhat (University of Cambridge)Formalisation of mathematics with interactive theorem provers
-
24JanVerna Dankers (University of Edinburgh)NLIP Seminar Series
-
24JanHost: Prof Srinivasan Keshav, University of Cambridge
-
27JanSpeaker to be confirmedTechnical Talks
-
28JanMiruna Cretu (University of Cambridge)Artificial Intelligence Research Group Talks
-
28JanTal Yankovitz (Tel-Aviv University)Algorithms and Complexity Seminar
-
28JanDongqi Cai - Beijing University of Posts and TelecommunicationsCambridge ML Systems Seminar Series
-
28JanOlivia Wiles, DeepMindMobile and Wearable Health Seminar Series
-
29JanDr Loïc Lannelongue - Department of Public Health and Primary Care, University of Cambridge
-
30JanNanyang Ye, Shanghai Jiao Tong UniversityRainbow Group Seminars
-
30JanEmily Riehl (Johns Hopkins University)Formalisation of mathematics with interactive theorem provers
-
31JanJames Thorne (KAIST)NLIP Seminar Series
-
31JanToby Kiers, SPUN, Vrije Universiteit, Amsterdam
-
03FebAntoni Woss and Ruth FahertyTechnical Talks
-
04FebCatalina CangeaArtificial Intelligence Research Group Talks
-
04FebLuca Zanolini, Ethereum Foundation
-
05FebGabriele Mazzini - Research Affiliate, MIT Media Lab
-
06FebThomas Ammer (King's College London)Formalisation of mathematics with interactive theorem provers
-
10FebKenton Barnes - Staff Quantum EngineerTechnical Talks
-
11FebStefanie Ullmann, University of Cambridge
-
11FebShyam Tailor, GoogleMobile and Wearable Health Seminar Series
-
12FebProfessor George A. Constantinides - Professor of Digital Computation, Department of Electrical and Electronic Engineering, Imperial College London
-
13FebDavid Angdinata (University College London)Formalisation of mathematics with interactive theorem provers
-
14FebJeremy Bernstein (MIT)NLIP Seminar Series
-
17FebSpeaker to be confirmedTechnical Talks
-
20FebJujian Zhang (Imperial College London)Formalisation of mathematics with interactive theorem provers
-
21FebFelix Morger (University of Gothenburg)NLIP Seminar Series
-
21FebCyrill Stachniss, University of Bonn
-
25FebRajalakshmi Nandakumar, Cornell UniversityMobile and Wearable Health Seminar Series
-
26FebProfessor Frank Stajano and Dr Ferdinando Samaria - Department of Computer Science and Technology, University of Cambridge.
-
27FebLu Fang, Tsinghua UniversityRainbow Group Seminars
-
27FebFrancisco Ferreira Ruiz (Royal Holloway, University of London)Formalisation of mathematics with interactive theorem provers
-
28FebJakob Poffley, University of Cambridge
-
28FebCarmen Amo Alonso (Stanford University)NLIP Seminar Series
-
05MarDr Joe Watson - Co-founder, Xaira Therapeutics
-
06MarAndrei Popescu (University of Sheffield)Formalisation of mathematics with interactive theorem provers
-
07MarEsther Ploeger (Aalborg University)NLIP Seminar Series
-
10MarSpeaker to be confirmedTechnical Talks
-
11MarKonstantin Hemker (University of Cambridge)Artificial Intelligence Research Group Talks
-
11MarPeter Charlton (University of Cambridge)Mobile and Wearable Health Seminar Series
-
12MarDr Edwin Brady - School of Computer Science, University of St Andrews
-
13MarTristan Stérin (Maynooth University, Ireland) and Maja KądziołkaFormalisation of mathematics with interactive theorem provers
-
14MarOlga Zamaraeva (University of A Coruña)NLIP Seminar Series
-
18MarJulius Cheng (University of Cambridge)Artificial Intelligence Research Group Talks
-
18MarMarianna Obrist, UCLMobile and Wearable Health Seminar Series
-
20MarDavid Wang (King's College London)Formalisation of mathematics with interactive theorem provers
-
21MarEmilio Luz-Ricca, University of Cambridge
-
28MarJean Martina, Universidade Federal de Santa Catarina
-
04AprOnkar Gulati, University of Cambridge
-
11AprOisin Mac Aodha, University of Edinburgh
-
01MayKevin Buzzard (Imperial College London)Formalisation of mathematics with interactive theorem provers
-
02MayPietro Lesci (University of Cambridge)NLIP Seminar Series
-
06MayLongfei Shangguan, University of PittsburghMobile and Wearable Health Seminar Series
-
07MayDr Prakash Murali - Department of Computer Science and Technology, University of Cambridge
-
08MayAndrew Yang (Imperial College, London)Formalisation of mathematics with interactive theorem provers
