The Institute for Logic, Language, and Computation of the University of Amsterdam hosts a workshop on 'Provability and Modal Logic' on the 15th of December.

Attendance is free but registration is required. In order to register, please send a mail to paulahenk at gmail.com before December the 9th.

Workshop venue: Room F1.15, ILLC, Science Park 107, Amsterdam

Programme

10:00-10:40		Lev Beklemishev (Steklov Mathematical Institute, Moscow) Reflection Calculus with Conservativity Modalities
10:40-11:00		Coffee
11:00-11:40		Rosalie Iemhoff (Utrecht University) The Preservativity Logic of Heyting Arithmetic
11:40-12:20		Albert Visser (Utrecht University) What Little We Know about Interpretations over Heyting Arithmetic
12:20-14:00		Lunch break
14:00-14:40		Johan van Benthem (UvA, Stanford and Tsinghua University) Modality, Provability, and Fixed-Points
14:40-15:20		Yde Venema (University of Amsterdam) Quantification over Noetherian Subsets and the Alternation-Free μ-Calculus
15:20-15:40		Coffee
15:40-16:20		Fedor Pakhomov (Steklov Mathematical Institute, Moscow) Solovay Completeness without Diagonal Lemma
16:20-17:00		V.Yu Shavrukov Skeletons from the Cupboard: Unsolved Problems on Σ1 sentences