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.
-
03MaySpeaker to be confirmedNLIP Seminar Series
-
03MayAaditeshwar Seth, Indian Institute of Technology Delhi
-
07MayJose Gilberto Atondo Siu (University of Cambridge)
-
07MayGeorge Malliaras (Department of Engineering, University of Cambridge)Mobile and Wearable Health Seminar Series
-
09MayTomas Skrivan (Carnegie Mellon University)Formalisation of mathematics with interactive theorem provers
-
10MayDominik Stammbach, ETH Zürich
-
10MayDominik Stammbach, ETH ZurichNLIP Seminar Series
-
14MayJack O'Connor (University of Cambridge)Algorithms and Complexity Seminar
-
15MayDr Leonard Wossnig - CTO at LabGenius and Honorary Research Fellow in Computer Science at UCL
-
16MayPatrick Massot (Université Paris-Saclay and Carnegie Mellon University)Formalisation of mathematics with interactive theorem provers
-
17MaySpeaker to be confirmedNLIP Seminar Series
-
17MaySpeaker to be confirmedNLIP Seminar Series
-
21MayKun QIAN, School of Medical Technology Beijing Institute of Technology ChinaMobile and Wearable Health Seminar Series
-
23MayGeorges GonthierFormalisation of mathematics with interactive theorem provers
-
24MayLizy Kurian John, UT Austin
-
24MaySpeaker to be confirmedNLIP Seminar Series
-
24MayAnaïs Berkes - Department of Computer Science and Technology, University of Cambridge
-
28MayLaszlo Vegh (London School of Economics)Algorithms and Complexity Seminar
-
28MayQian Zhang, Hong Kong University of Science and TechnologyMobile and Wearable Health Seminar Series
-
31MaySpeaker to be confirmedNLIP Seminar Series
-
31MayAndres Arcia-Moret, AMD - former researcher at UCAM
-
04JunAmelia (Mia) Hassoun, University of Cambridge
-
07JunSpeaker to be confirmedNLIP Seminar Series
-
07JunFrank Feng, Independent Researcher
-
11JunSagnik Mukhopadhyay (Sheffield)Algorithms and Complexity Seminar
-
13JunTobias Nipkow (Technische Universität München)Formalisation of mathematics with interactive theorem provers
-
14JunSpeaker to be confirmedNLIP Seminar Series
-
14JunSpeaker to be confirmed
-
21JunLoïc Lannelongue, Heart and Lungs Research Institute, DPHPC, University of Cambridge
-
28JunSpeaker to be confirmed
-
05JulAnke Weidlich from Albert-Ludwigs-Universität Freiburg
-
12JulSpeaker to be confirmed
-
19JulSpeaker to be confirmed
-
26JulSpeaker to be confirmed
-
11OctSpeaker to be confirmed
-
18OctAstrid Nieße, Carl von Ossietzky Universität Oldenburg
-
25OctSpeaker to be confirmed
-
01NovSpeaker to be confirmed
-
08NovSpeaker to be confirmed
-
15NovRonita Bardhan, University of Cambridge
-
22NovSpeaker to be confirmed
-
29NovSpeaker to be confirmed
-
06DecSpeaker to be confirmed