Fabian ACHAMMER (TU Wien, Austria) Decidability of Diophantine equations in theories close to IOpen (joint work with Stefan HETZL, TU Wien, Austria)

Julien CERVELLE (University Paris XII, France) The Reverse Mathematics of CAC for trees (joint work with William GAUDELIER, University Paris XII, France and Ludovic PATEY, University Paris-Cité, France) abstract - slides

Costas DIMITRACOPOULOS (Emeritus NKUA, Athens, Greece) End extensions of models of open induction: a review (joint work with Charalampos CORNAROS, University of Agean, Greece) abstract - slides

Ali ENAYAT (Göteborg University, Sweden) Indiscernibles and Satisfaction Classes in Arithmetic abstract - slides

Henri-Alex ESBELIN (Clermont-Ferrand, France) (Short) bounded recursions and Δ₀-definability abstract - slides

Stefan HETZL (TU Wien, Austria) Arithmetical theories and the automation of induction (joint work with Jannik VIERLING, TU Wien, Austria) abstract - slides

Roman KOSSAK (Emeritus City University of New York, USA) Absolute Undefinability in Arithmetic - slides

Ermek NURKHAIDAROV (Penn State Mont Alto, USA) On Automorphisms of Short Models of PA abstract - slides

Mikhail R. STARCHAK (Saint-Petersburg State University, Russia) Existential Definability with Addition and k-Regular Predicates abstract - slides

Mengzhou SUN (National University of Singapore) Non-elementary cofinal extensions of models of fragments of Peano arithmetic (joint work with WONG Tin Lok, National University of Singapore) abstract - slides

Bartocz WCISŁO (University of Gdańsk, Poland) Satisfaction classes with the full collection scheme abstract - slides

Alexander ZAPRYAGAEV (NRU Higher School of Economics, Moscow, Russia) On Interpretations in Büchi Arithmetics abstract - slides