BÈS Alexis - (LLAIC1, Université d'Auvergne), About definability in Presburger and Skolem arithmetic
BRUYÈRE Véronique - (Université de Mons, Belgique), Entiers, Automates et Substitutions
CÉGIELSKI Patrick - (Université Paris XII), Sur l'Analyse quasi-récursive
ESBELIN Henri-Alex - (LLAIC1, IUFM, Université d'Auvergne), Comptages rudimentaires et substitution polynomiale
FINKEL Olivier - (Équipe de Logique, Paris VII), Propriétés de décidabilité du spectre ordinal des formules locales
LACOSTE Thierry - (Équipe de Logique, Paris VII), Preuve d'une conjecture de Kolaitis et Vardi
MUCHNIK Andreï - (Moscow University, Russia), Nontrivial invariant predicates definable in theory of Kolmogorov complexity
NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Indépendance de la conjecture d'Erdös sur une théorie arithmétique
OLIVE Fréderic & MORE Malika - (Université de Caen, LLAIC1, Université d'Auvergne), Caractérisation de RUD par la logique monadique
RESSAYRE Jean-Pierre & DUPARC Jacques - (Équipe de Logique, Paris VII), Théorie des automates et structure fine des boréliens long version publihed in proceedings
SEMENOV Alexeï - (Steklov Institute, Moscow, Russia), The definable criterion of definability in Presburger arithmetic and its application
VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), Characterizing each number by the set of prime division of a certain sequence