Timetable
Tuesday, October 17 | ||||||
| 09:00–10:00 | Registration (Room 515, 5th floor) and coffee (9th floor) | |||||
| 10:00–10:35 | Giorgi Japaridze Strong alternatives to weak arithmetics | |||||
| 10:35–11:10 | Joost Joosten Turing jumps again | |||||
| 11:10–11:45 | Lorenzo Carlucci On the strength of Hindman's Theorem for bounded sums or unions | |||||
| 11:45–12:15 | Coffee break | |||||
| 12:15–12:50 | Paul Shafer The reverse mathematics of Ekeland's variational principle | |||||
| 12:50–13:25 | David Fernández Duque Caristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths | |||||
| 13:25–15:00 | Lunch | |||||
| 15:00–15:35 | James Walsh On the naturalness of the consistency operator | |||||
| 15:35–16:10 | Kentaro Sato Negative Church's thesis and Russian constructivism | |||||
| 16:10–16:40 | Coffee break | |||||
| 16:40–17:15 | Dick de Jongh Do we really need Ex Falso? A first reconnaissance | |||||
| 17:15–17:50 | Sergey Melikhov Kolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic | |||||
Wednesday, October 18 | ||||||
| 10:00–10:35 | Melvin Fitting How widespread are justification logics? | |||||
| 10:35–11:10 | Saeed Salehi Diagonal-free proofs of the Diagonal Lemma | |||||
| 11:10–11:45 | Junhua Yu Instantial Neighborhood Logic - tableau, sequent calculus, and interpolation | |||||
| 11:45–12:15 | Coffee break | |||||
| 12:15–12:50 | Valentin Shehtman Simplicial semantics of modal predicate logics | |||||
| 12:50–13:25 | Denis Saveliev Systems of propositions referring to each other: a model-theoretic view | |||||
| 13:25–15:00 | Lunch | |||||
| 15:00–15:35 | Michael Zakharyaschev Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators | |||||
| 15:35–16:10 | Stanislav Speranski On the computational aspects of Kripke's theory of truth | |||||
| 16:10–16:40 | Coffee break | |||||
| 16:40–17:15 | Bartosz Wcisło Models of the compositional truth theory with bounded induction | |||||
| 17:15–17:50 | Mateusz Łełyk Prolongable Satisfaction Classes and Iterations of Uniform Reflection over PA | |||||
| 18:10 | Conference dinner (9th floor) | |||||
Thursday, October 19 | ||||||
| Student session (Room 530, 5th floor) | ||||||
| 14:00–14:25 | Mauricio Martel Relation-changing modal logics: some model and proof theoretic aspects | |||||
| 14:25–14:50 | Ana Borges A Calculus for Worms | |||||
| 14:50–15:15 | Evgeny Kolmakov Axiomatizing provable 1-provability | |||||
| 15:15–15:40 | Mikhail Svyatlovsky On axiomatization and polytime decidability of the strictly positive fragment of K4.3 | |||||
| 15:40–16:00 | Coffee break | |||||
| Joint session with Steklov Mathematical Institute Seminar | ||||||
| 16:00–17:00 | Albert Visser What is Gödel's second incompleteness theorem? | |||||
| 17:00–18:30 | Drinks on the occasion of the 50-th birthday of Lev Beklemishev | |||||
| 18:30 | Baroque Music Concert
| |||||
Friday, October 20 | ||||||
| 10:00–10:35 | Stepan Kuznetsov Iteration in residuated structures | |||||
| 10:35–11:10 | Andre Scedrov Lambek calculus extended with subexponential and bracket modalities | |||||
| 11:10–11:45 | Yury Savateev Non-Well-Founded Proofs for Modal Grzegorczyk Logic | |||||
| 11:45–12:15 | Coffee break | |||||
| 12:15–12:50 | Albert Visser The second incompleteness theorem revisited | |||||
| 12:50–13:25 | Fedor Pakhomov Solovay’s completeness without fixed points | |||||
| 13:25–15:00 | Lunch | |||||
| 15:00–15:35 | Sergey Odintsov FDE-Modalities and weak definability (joint work with H. Wansing) | |||||
| 15:35–16:10 | Evgeny Zolin Axiomatic classes of models in modal logics | |||||
| 16:10–16:40 | Coffee break | |||||
| 16:40–17:50 | Open problems session | |||||
