BENDOVÁ Kamila - (Charles University, Prague), On ordering and multiplication of natural numbers
CÉGIELSKI Patrick - (Université Paris XII), Decidability and p-destinies published paper - preliminary version
CORNAROS Charalampos & DIMITRACOPOULOS Constantin - (University of Aegean & University of Athens, Greece), The end extension problem for models of Σ1 collection
LYGEROS Nik - (Université Lyon 1), On minimal strings containing by decimation the elements of the symmetric group
MORE Malika - (LLAIC1, université d'Auvergne), On Quantifier Elimination in Direct Powers
MARION Jean-Yves - (Université de Nancy, France), A feasible arithmetic
OMODEO Eugenio - (University of L'Aquila, Italy), The axiom of elementary sets and Peircean expressibility
RESSAYRE Jean-Pierre - (Équipe de Logique, université Paris VII), Indiscernables et contrôle des quanteurs
Karine SHAKHBAZYAN & SHOUKOURIAN Yuri - (Academy of Sciences of Armenia), Decidability of verification problem for two classes of computations
SLISSENKO Anatol - (Université Paris XII), Applications of real/integer quantifier elimination to describe decidable classes of real-time verification