| Monday, Sept. 25 | ||
|---|---|---|
| 09.00–09.15 | Welcome and opening | |
| 09.15–10.00 | R. Kossak | Absolute undefinability in arithmetic |
| 10.00–10.45 | E. Nurkhaidarov | On Automorphisms of Short Models of PA |
| 10.45–11.15 | Coffee break | |
| 11.15–12.00 | S. Hetzl & J. Vierling | Arithmetical theories and the automation of induction |
| 12.00–12.45 | Ch. Cornaros & C. Dimitracopoulos | On End Extensions of models of Open Induction |
| 12.45–13.30 | Light lunch | |
| 13.30–14.15 | M. R. Starchak | Existential Definability with Addition and k-Regular Predicates |
| 14.15–15.00 | B. Wcisło | Satisfaction classes with the full collection scheme |
| 15.00–15.30 | Coffee break | |
| 15.30–16.30 | Business meeting | |
| Tuesday, Sept. 26 | ||
| 09.00–13.30 | Excursion (including light lunch) | |
| 13.30–14.30 | Free time | |
| 14.30–15.15 | Mengzhou Sun | Non-elementary cofinal extensions of models of fragments of Peano arithmetic |
| 15.15–16.00 | A. Zapryagaev | On interpretations in Buchi Arithmetics |
| 16.00–16.30 | Coffee break | |
| 16.30–17.15 | F. Achammer & S. Hetzl | Decidability of Diophantine equations in theories close to IOpen |
| 17.15–18.00 | H.-A. Esbelin | Bounded recursion and ∆0 Definability |
| 18.30–21.30 | Official dinner | |
| Wednesday, Sept. 27 | ||
| 08.30–09.15 | A. Enayat | Indiscernibles and Satisfaction Classes in Arithmetic |
| 09.15–10.00 | J. Cervelle | The Reverse Mathematics of CAC for trees |
| 10.00–10.10 | Closing | |
| 10.10–11.00 | Coffee & Light lunch | |
| 11.00- | Walk to Potami falls | |