BEKLEMISHEV Lev - (Steklov Mathematical Institute, Moscow, Russia) Reflection calculus and conservativity spectra
BELTIUKOV Anatoly - (Udmurt State University, Izhevsk, Russia) Subrecursive dialectica interpretations for subrecursive realizations
CHOFFRUT Christian - (IRIF, University of Paris 7, France) A note on counting quantifiers
D'AQUINO Paola - (Universita’ della Campania “L. VANVITELLI”, Italy) Roots of exponential polynomials
ESBELIN Henri-Alex - (LIMOS, Université Clermont Auvergne, France) Computable groups of low complexity
GLIVICKÁ Jana - (Charles University, Prague, Czech Republic) Nonstandard methods and models of weak arithmetics
GLIVICKÝ Petr - (University of Economics, Prague, Czech Republic) Model theory of linear fragments of Peano arithmetic
GUESSARIAN Irène - (IRIF, UMR 8243, Université Paris 7 Denis Diderot, France) Congruence preservation and recognizability (joint work with Patrick CÉGIELSKI and Serge GRIGORIEFF)
KOLODZIEJCZYK Leszek - (Institute of Mathematics, University of Warsaw, Poland) The logical strength of automata theory
KUCHEROV Gregory - (CNRS & Université Paris-Est, Marne-la-Vallée, France) Recent results on combinatorics and algorithmics of repeats in strings
ŁELYK Mateusz - (University of Warsaw, Poland) On the strength of various truth principles
LOUREIRO Manuel José S. - (Lusófona University, Lisbon, Portugal) Lipschitz determinacy for initial levels of the Hausdorff hierarchy in second order arithmetic
MATIYASEVICH Yuri - (St. Petersburg Department of V.A.Steklov Institute of Mathematics, St.Petersburg, Russia) The Four Color Conjecture as a particular case of Hilbert’s tenth problem
OMODEO Eugenio - (DMG/DMI, University of Trieste, Italy) “One equation to rule them all”, revisited (joint work with Domenico CANTONE)
OVCHINNIKOV Denis - (Stevens Institute of Technology, USA) Interpretations by positive existential formulas and the Diophantine-class problems over algebraic structures (joint work with Albert GARRETA and Alexei MIASNIKOV)
PAKHOMOV Fedor - (Steklov Mathematical Institute, Moscow, Russia) Gödel’s second incompleteness theorem without arithmetization
SAVELIEV Denis I. - (Steklov Mathematical Institute, Moscow, Russia) Hindman’s finite sums theorem and its application to topologization of algebras
SHAMKANOV Daniyar - (Steklov Mathematical Institute, Moscow, Russia) Global neighbourhood completeness of the Gödel-Löb provability logic
SLISSENKO Anatol - (Université Paris-Est Créteil, LACL, France) On entropic measures of computations
SPERANSKI Stanislav - (St. Petersburg State University, St. Petersburg, Russia) On weak monadic second-order definability in some weak arithmetical structures
WCISŁO Bartosz - (University of Warsaw, Poland) Remarks on Lachlan’s theorem
ZAPRYAGAEV Alexander - (Moscow State University, Moscow, Russia) Interpretations in Presburger arithmetic