BEKLEMISHEV Lev - (Steklov Institute, Moscow, Russia), Induction rules and iterated reflection principles
BÈS Alexis - (LLAIC1, Université d'Auvergne), Définissabilité et automates finis
BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), L'induction logarithmique sur les formules sans paramètres ne démontre pas que les premiers soient existentiellement définissables dans le langage de Buss
FROUGNY Christiane - (Université Paris VIII), Sur les sytèmes de numération non classiques
GUILLAUME Marcel & RICHARD Denis - (LLAIC1, Université d'Auvergne), Décidabilité de Th3(N, S, coprimarité) ramené à cinq questions
ZHU Hong - (Fudan University, Shanghai, China), The Structure of NP0 (Np-Optimization problem) Class
LACOSTE Thierry - (Équipe de Logique, Paris VII), Un survol des lois 0-1 en logique
NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Théorème du va et théorème du vient
PELIBOSSIAN Hrastya - (LITP, Université Paris VII), Critères d'affinité des fonctions calculables en ligne
SUDAC Olivier - (Université d'Auvergne), Le théorème des nombres premiers est finitiste long version published in proceedings
SURESON Claude - (Équipe de Logique, Paris VII), P, NP, théories faibles de l'arithmétique
WOODS Alan - (Nedlands, Australia), Decidability and undecidability of sentences about primes, via Schinzel's conjecture