Charalampos CORNAROS (University of Aegean, Greece) Versions of Matiyasevich’s theorem in subsystems of arithmetic (joint work with Henri-Alex ESBELIN, University of Clermont, France) abstract slides

Costas DIMITRACOPOULOS (NKUA, Athens, Greece) End extensions of models of BΣ1+exp (joint work with Vassilis PASCHALIS, NKUA) abstract slides

Emil JEŘÁBEK (Czech Academy of Sciences, Prague, Czech Republic) Iterated multiplication in VTC⁰ abstract slides

Mateusz ŁELYK (University of Warsaw, Poland) Metamathematics of the global reflection principle abstract slides

Mikhail R. STARCHAK (Saint-Petersburg State University, Russia) Quantifier elimination approach to existential linear arithmetic with GCD abstract slides

Bartocz WCISŁO (University of Warsaw, Poland) Properties characterising truth and satisfaction abstract slides