COURCELLE Bruno - (LABRI, Université de Bordeaux), L'expression des propriétés de graphes en logique du second ordre monadique avec et sans quantifications sur les ensembles d'arcs
DUPARC Jacques - (Équipe de Logique, Paris VII), Automates et boréliens (II)ESBELIN Henri-Alex - (LLAIC1, IUFM Université d'Auvergne), Relations rudimentaires et petites classes de fonctions récursives (soutenance de thèse)
GRIGORIEFF Serge - (LITP, Université Paris VII), Fonctionnelles récursives
MORE Malika - (LLAIC1, Université d'Auvergne), Définissabilité dans les graphes finis et en arithmétique bornée (soutenance de thèse)
PAZDYKA Pawel - (Torun University, Poland), Definability of models (using graph illustrations)
POUZET Maurice - (LMDI, Université de Lyon), Théorème de Dilworth pour les groupes ordonnés
RESSAYRE Jean-Pierre - (Équipe de Logique, Paris VII), Ankor moâ sur les koresponens ...
WILKIE Alex - (Oxford University, U.K.), Is free-variable arithmetic decidable?
XIN Dingjia - (Fudan University, Shanghaï, China), Combinatorial Number Theory and Applications