ADIAN Sergeï - (Steklov Institute, Moscow, Russia), On decision problems for single relation monoid representations
BOFFA Maurice - (Université de Mons, Belgique), L'argument de partie dans PA, ZF et NF
CÉGIELSKI Patrick - (Université Paris XII), Analyse quasi-récursive
ERCEGOVAC Milos - (Los Angeles University, USA), Redundant representations of real numbers and their effect on arithmetic algorithms
GAKWAYA Jean-Sylvestre - (Université de Mons, Belgique), La hiérarchie de Grzegorczyk et son extension dans le modèle BSS
HAESELER Fritz von - (Bremen University, Germany), Automaticity of linear cellular automata
KAYE Richard - (Birmingham University, U.K.), Hilbert's 10th problem in weak systems of arithmetics
MATIYASEVICH Yuri - (Steklov Institute, St Petersburg, Russia), Some arithmetical reformulations of the four colour conjecture long version published in proceedings
PEITGEN Heinz - (Bremen University, Germany), From Pascal to Von Neumann and back
PIN Jean-Éric - (CNRS, LITP, Université Paris VII), Pouvoir expressif des formules existentielles de la logique du successeur
RICHARD Denis & CÉGIELSKI Patrick - (LLAIC1, Université d'Auvergne, Université Paris XII), Théories qui codent les listes published version - published paper
SÉNIZERGUES Géraud - (LABRI, Université de Bordeaux), Decision problems for semi-thue systems with few rules
SKORDEV Gencho - (Bremen University, Germany), Linear cellular automata, self-similarity and automaticity
TAHHAN-BITTAR Élias - (LLAIC1, Université d'Auvergne), Caractérisation syntaxique de la hiérarchie de Gzregorczyk