ADAMOWICZ Zofia - (Academy of Sciences, Warsaw, Poland), Definability via consistency
BELTIUKOV Anatoly - (Steklov Institute, St Petersbourg, Russie), Comparing very small subrecursive classes
BOFFA Maurice - (Université de Mons, Belgique), Open questions related to Conway's axioms for Kleene's operations +, ., *
BONFANTE Guillaume - (Université de Nancy), Polynomial termination
CÉGIELSKI Patrick & RICHARD Denis - (Université Paris XII, LLAIC1, Université d'Auvergne), Some absolute results on additive theory of primes published version
DIMITRACOPOULOS Konstantin - (University of Athens, Greece), On end extensions of models long version published in proceedings
ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Reals of rudimentary complexity
KOSSAK Roman - (CUNY, New-York), Fixed point sets in recursively saturated models of PA
MAES Arnaud - (Université de Mons, Belgique), Decidability of some expansions of (N, <) by morphic predicates
MURAWSKI Roman - (Poznan University, Poland), Undefinability of truth. The problem of priority: Tarski vs. Gödel
RAFFER Sidney - (City University of New York), Diophantine correct models of open induction
ZAHIDI Karim - (Université de Gand, Belgique), The existential theory of real hyperelliptic function fields
WOODS Alan - (Nedlands, Australia), Bounded arithmetic and the local global principle: Unsatisfiable systems of equations over a finite field