BÈS Alexis - (LLAIC1, Université de Mons, Belgique), On the theory of ordinal multiplication
CHAPUIS Olivier - (Équipe CNRS Desargues, Université LYON 1), Introduction to complexity theory over infinite structures
COLSON Loïc & GRIGORIEFF Serge - (LLAIC1, Université Paris 7), Syntactical Thruth Predicates published paper
DUPARC Jacques & RESSAYRE Jean-Pierre - (Équipe de Logique, Université Paris 7), Winning strategies for infinite games: recalls on effectively and non effectively results (1) long version published in proceedings
ESBELIN Henri-Alex & ESPEL-LLIMA Roger - (LLAIC1, Université d'Auvergne), Automata, trees and modular counting
FINKEL Olivier - (Équipe de Logique, Université Paris 7), Infinite games refereed by push down and counter automata
GÉRARD Yan - (LLAIC1, Université d'Auvergne), Reducing factorisation problem in N[X1,..., Xn] to factorisation problem in N[X] via polyominos
HACHAÏCHI Yassine - (Équipe de Logique, Paris 7), Logic for unambiguous context free languages
KRAJICEK Jan - (Academy of Sciences of Praha and Oxford University), Introduction to propositional proof complexity
NÉZONDET Francis - (LLAIC1, Université d'Auvergne), Une caractérisation finitiste de la consistance : une catapulte pour HENKIN
RESSAYRE Jean-Pierre - (CNRS, Équipe de Logique, Paris 7), Winning strategies for infinite games: recalls on effectively and non effectively results (2) long version published in proceedings
RESSAYRE Jean-Pierre - (CNRS, Équipe de Logique, Paris 7), Weak Arithmetics long version published in proceedings
REVEILLÈS Jean-Pierre - (LLAIC1, Université d'Auvergne), Arithmetisation within digital geometry
RICHARD Denis - (LLAIC1, Université d'Auvergne), What are weak arithmetics? published paper
TOMASIK Jersy - (LLAIC1, Université Blaise Pascal), Marczewski-Szpilrajn spectral problem
VSEMIRNOV Maxim - (Steklov Institute, St Petersburg, Russia), Woods-Erdös conjecture for polynomial rings