ADAMOWICZ Zofia - (Academy of Sciences, Warsaw, Poland), A few questions in bounded arithmetic
BEKLEMISHEV Lev - (Steklov Institute, Moscow, Russia), On arithmetical Δ1-induction schema
BÈS Alexis - (Équipe de Logique, Paris VII), Décidabilité des machines de Matiiassevitch, cas non déterministes
CÉGIELSKI Patrick & RICHARD Denis - (Université Paris XII, LLAIC1, Université d'Auvergne), Decidability of the integers equipped with Cantor pairing and successor long version in proceedings - pdf
CHINCHILLA Eugenio - (Équipe de Logique, Paris VII), Un résultat de calculabilité en temps sous exponentiel (avec preuve non standard)
D'AQUINO Paola - (Université de Naples, Italie), Non standard finite fields in fragments of arithmetics
DURAND Arnaud - (INRIA, Pisa University, Italy), On robustness of counting rudimentary relations
ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Rudimentary reduction of composition sequences in finite monoids long version published in proceedings
HOEVEN Joris van der - (École Polytechnique, Paris), Résolution effective des systèmes d'équations algébriques dans les corps de séries
MACINTYRE Angus - (Oxford University, U.K.), Survey of what one knows about primes in fragments
MARGENSTERN Maurice - (Université de Metz), A new decidability result for the halting problem
VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), On diophantine equations