ADAMOWICZ Zofia - (Polish Academy of Sciences, Warsaw) A few questions concerning consistency and conservativeness
CORDÓN-FRANCO Andrès - (University of Seville, Spain) A new conservation result for parameter free induction (joint work with Francisco-Félix LARA-MARTÍN)
D'AQUINO Paola - (Seconda Universita di Napoli, Italy) Integer parts of real closed fields
DIMITRACOPOULOS Costas - (University of Athens, Greece) End extensions and the Arithmetized Completness Theorem (joint work with Vassili PASCHALIS)
ESBELIN Alex - (Université Blaise Pascal, Clermont-Ferrand, France) z = Σi=0i=y [ai/b] is Δ0-definable
FERREIRA Fernando - (University of Lisbon, Portugal) Interpretability in Q
KAPANTAIS Doukas - (Academy of Athens, Greece) On the notion of "... Proving its own Consistency"
KOSSAK Roman - (City University of New York, USA) Elementary pairs of models of PA
PHEIDAS Thanases - (University of Crete, Greece) Definability in fields of rational functions: a survey
RESSAYRE Jean-Pierre - (Emeritus Université Paris VII, France) Classifying the experiences of quantum mechanics (based on work of Christophe CHALONS)
RICHARD Denis - (Université Clermont 1, France) In memoriam of Alan R. Woods (joint work with CÉGIELSKI Patrick) published paper
SIROKOFSKICH Alla - (University of Leeds, England) Hilbert's tenth problem for subrings of Laurent polynomials
VALARCHER Pierre - (Université Paris-Est Créteil, France) Functionals using Bounded Information and the Dynamics of Algorithms
VISSER Albert - (Utrecht University, Netherland) Interpretability between (sequential) theories