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.
-
25AprGreg Flamich, Engineering Department (Cambridge)Artificial Intelligence Research Group Talks
-
27AprDr Chris Birkbeck (University of East Anglia)Formalisation of mathematics with interactive theorem provers
-
02MayPeter Charlton (University of Cambridge)Mobile and Wearable Health Seminar Series
-
04MayProfessor Heather Macbeth (Fordham University)Formalisation of mathematics with interactive theorem provers
-
05MayAndrei Popescu, University of SheffieldLogic and Semantics Seminar
-
09MayJason Sharman
-
09MayGeorge Roussos (Birkbeck College London)Mobile and Wearable Health Seminar Series
-
11MayDr Matthieu Piquerez (INRIA, Université de Nantes)Formalisation of mathematics with interactive theorem provers
-
16MayJessilyn Dunn (Duke University)Mobile and Wearable Health Seminar Series
-
18MayProfessor Patrick Massot (Université Paris-Saclay)Formalisation of mathematics with interactive theorem provers
-
25MayProfessor Lawrence C. Paulson FRS (University of Cambridge)Formalisation of mathematics with interactive theorem provers
-
01JunProfessor Bjørn Kjos-Hanssen (University of Hawaii at Manoa)Formalisation of mathematics with interactive theorem provers
-
08JunDr Alex J. Best (King's College London)Formalisation of mathematics with interactive theorem provers
-
15JunProfessor Sébastien Gouëzel (Université de Rennes)Formalisation of mathematics with interactive theorem provers
