BÈS Alexis - (LLAIC1, Universitè d'Auvergne), Triangles de Pascal généralisés et extensions décidables de l'arithmétique de Presburger
CREIGNOU Nadia & MORE Malika - (GRAL, Université de Caen, LLAIC1, Université d'Auvergne), Une généralisation du problème SAT avec des clauses rationnelles
DUPARC Jacques - (Équipe de Logique, Paris VII), La forme normale des boréliens de rang fini
FINKEL Olivier - (Équipe de Logique, Paris VII), Sur les langages localement finis
KAYE Richard - (Oxford University, U.K.), Κ-like models of arithmetic
KOTLARSKI Henryk - (Warsaw University, Poland), Addition to the Gödel-Rosser theorem on incompleteness
LACOSTE Thierry - (Équipe de Logique, Paris VII), Instances aléatoires du problème SAT
MACINTYRE Angus - (Oxford University, U.K.), Solution of problem of Hardy on the real functions definable from the exponential
NÉZONDET Francis - (LLAIC1, Universitéd'Auvergne), Non-définissabilité existentielle de la multiplication par successeur et coprimarité
RICHARD Denis - (LLAIC1, Université d'Auvergne), About definability (existential or not) of the full arithmetic by successor and coprimarity (using p-destinies of Nézondet)
SIMONNET Pierre - (Université de Corte), Les propriétés de séparation dans la hiérarchie de Wagner
VALARCHER Pierre - (LITP, Université Paris VII), Intentionnalité et extensionnalité