| 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 |