BOUGHATTAS Sedki - (Équipe de Logique, Paris VII), Un exemple de corps ordonné sans partie entière published paper
CÉGIELSKI Patrick - (LITP, Université Paris VII), IΣp et corps réels-clos Σq-inductifs
ESBELIN Henri-Alex - (LLAIC1, Université d'Auvergne), Méthode de codage dans les petites classes
GRIGORIEFF Serge - (LITP, Université Paris VII), Arithmétiques faibles et concaténation
KAYE Richard - (Oxford University, U.K.), Matiyasevich's theorem in the weak theory IE1(S, +,.) + B∃ published paper
MICHEL Pascal - (École Normale de Cergy-Pontoise), Complexité des théories de l'orthogonalité sur les entiers naturels
MORE Malika - (ENS Lyon et LLAIC1 Université d'Auvergne), Prédicats élémentaires, spectres et arithmétiques faibles
PUDLAK Pavel - (Académie des Sciences, Tchécoslovaquie), Equivalence between polynomial hierarchy and finite axiomatizability of IΣ0(+, ., x⌈ ln x ⌉)
RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Corps réels-clos et calculabilité en temps polynomial
RICHARD Denis & DEVEAU Marie-Alix - (LLAIC1, Université d'Auvergne), Interprétations non standard d'infographie d'après Boudaoud
TOMASIK Jerzy - (LLAIC1, Université d'Auvergne), Une logique modale complète sans compacité qui définit les entiers