Colloquium on Mathematical Logic

Overview of Talks given in 2016-2017

Wednesday October 19, 2016 Room 012, Drift 23, Utrecht 16:00--17:00 Fedor Pakhomov: Transitive modal logics and second-order theories Abstract
Thursday February 9, 2017 Room F1.15, Science Park 107, Amsterdam 16:00-17:00 Andrew Swan (ILLC): Lifschitz Realizability as a Topological Construction Abstract
Friday March 31, 2017 Room 006, Janskerkhof 13, Utrecht 11:00-12:00 Lev Beklemishev (Moscow): On the algebraic model for reflection calculus with conservativity modalities Abstract
Friday May 12, 2017 Room F3.20, Science Park 107, Amsterdam 11:00-12:00 Martin Hyland (Cambridge): What is an interpretation of the Lambda Calculus? Abstract