### Timetable

## Tuesday, October 17 | ||||||

09:00–10:00 | Registration (Room 515, 5th floor) and coffee (9th floor) | |||||

10:00–10:35 | Giorgi JaparidzeStrong alternatives to weak arithmetics | |||||

10:35–11:10 | Joost Joosten Turing jumps again | |||||

11:10–11:45 | Lorenzo CarlucciOn the strength of Hindman's Theorem for bounded sums or unions | |||||

11:45–12:15 | Coffee break | |||||

12:15–12:50 | Paul ShaferThe reverse mathematics of Ekeland's variational principle | |||||

12:50–13:25 | David Fernández DuqueCaristi's fixed point theorem, non-monotone inductive definitions, and relativized leftmost paths | |||||

13:25–15:00 | Lunch | |||||

15:00–15:35 | James WalshOn the naturalness of the consistency operator | |||||

15:35–16:10 | Kentaro SatoNegative Church's thesis and Russian constructivism | |||||

16:10–16:40 | Coffee break | |||||

16:40–17:15 | Dick de JonghDo we really need Ex Falso? A first reconnaissance | |||||

17:15–17:50 | Sergey MelikhovKolmogorov's interpretation and a formal semantics of the meta-logic of intuitionistic logic | |||||

## Wednesday, October 18 | ||||||

10:00–10:35 | Melvin FittingHow widespread are justification logics? | |||||

10:35–11:10 | Saeed SalehiDiagonal-free proofs of the Diagonal Lemma | |||||

11:10–11:45 | Junhua YuInstantial Neighborhood Logic - tableau, sequent calculus, and interpolation | |||||

11:45–12:15 | Coffee break | |||||

12:15–12:50 | Valentin ShehtmanSimplicial semantics of modal predicate logics | |||||

12:50–13:25 | Denis SavelievSystems of propositions referring to each other: a model-theoretic view | |||||

13:25–15:00 | Lunch | |||||

15:00–15:35 | Michael ZakharyaschevKripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators | |||||

15:35–16:10 | Stanislav SperanskiOn the computational aspects of Kripke's theory of truth | |||||

16:10–16:40 | Coffee break | |||||

16:40–17:15 | Bartosz WcisłoModels of the compositional truth theory with bounded induction | |||||

17:15–17:50 | Mateusz ŁełykProlongable 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 MartelRelation-changing modal logics: some model and proof theoretic aspects | |||||

14:25–14:50 | Ana BorgesA Calculus for Worms | |||||

14:50–15:15 | Evgeny KolmakovAxiomatizing provable 1-provability | |||||

15:15–15:40 | Mikhail SvyatlovskyOn 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 VisserWhat 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
I.**H. I. F. von Biber**- The Annunciation Sonata from the Mystery Sonatas for violin and basso continuo
Passacaglia for solo violin **J. S. Bach**- Prelude for klavier in C minor (BWV 921)
Sonata for harpsichord and violin in C minor (BWV 1017)
*Largo – Allegro – Adagio – Allegro* **J. S. Bach**- Chromatic Fantasia and Fugue in D minor (BWV 903)
Sonata for harpsichord and violin in F minor (BWV 1018)
*Largo – Allegro – Adagio – Vivace*
II. | |||||

## Friday, October 20 | ||||||

10:00–10:35 | Stepan KuznetsovIteration in residuated structures | |||||

10:35–11:10 | Andre ScedrovLambek calculus extended with subexponential and bracket modalities | |||||

11:10–11:45 | Yury SavateevNon-Well-Founded Proofs for Modal Grzegorczyk Logic | |||||

11:45–12:15 | Coffee break | |||||

12:15–12:50 | Albert VisserThe second incompleteness theorem revisited | |||||

12:50–13:25 | Fedor PakhomovSolovay’s completeness without fixed points | |||||

13:25–15:00 | Lunch | |||||

15:00–15:35 | Sergey OdintsovFDE-Modalities and weak definability (joint work with H. Wansing) | |||||

15:35–16:10 | Evgeny ZolinAxiomatic classes of models in modal logics | |||||

16:10–16:40 | Coffee break | |||||

16:40–17:50 | Open problems session |