CERVELLE Julien - (Paris 12) Study of stepwise simulation between ASMs [Joint work with Patrick CÉGIELSKI] slides
CORNAROS Charalampos - (Samos, Greece) Products of primes in weak systems of arithmetic slides
DIMITRACOPOULOS Costas - (Athens) End extensions of models of fragments of PA [Joint work with Vasileios PASCHALIS] slides
FINKEL Olivier - (Paris VII) Polishness of some topologies related to automata [Joint work with Olivier CARTON and Dominique LECOMTE] slides
GLIVICKÁ Jana - (Prague) Models of arithmetics with linear induction
GLIVICKÝ Petr (Prague) Fermat’s last theorem and Catalan’s conjecture in arithmetics with weak exponentiation slides
GUREVICH Yuri - (Ann Arbor, USA) LOGIC in computer science, computer engineering and mathematics slides
KIRBY Laurence - (Baruch College, CUNY) Bounded finite set theory slides
ŁELYK Mateusz - (Warzaw) How useful are pure compositional axioms for the truth predicate?
OMODEO Eugenio - (Trieste, Italy) Further reflections on candidate “rule-them-all" Diophantine equations [Joint work with Domenico CANTONE] slides
PAKHOMOV Fedor - (Steklov Institute, Moscow) Weak Set Theories and Δ0-Collection
PIN Jean-Éric - (Paris VII) Regular languages, profinite topologies and weak arithmetic slides
STARCHAK Mihail - (Saint Petersburg) Two Classes of Basic Divisibility Families from NP
VALARCHER Pierre - (Paris 12) Primitive recursion and algorithmically-completeness for Primitive Recursive Class of functions [Joint work with Patrick CÉGIELSKI, Julien CERVELLE, & Serge GRIGORIEFF] notes