Mathematics Department of the University of Aegean, Karlovassi, Island of Samos, Greece
May 30th to June, 1st, 2012

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

JAF31 website