Authors: Stéphane GALLAND <galland@arakhne.org> Contributors: Aurel GABRIS <gabrisa@optics.szfki.kfki.hu> Gasper JAKLIC <gasper.jaklic@fmf.uni-lj.si> Tobias LOEW <loew@mathematik.tu-darmstadt.de> Joao LOURENCO <joao.lourenco@di.fct.unl.pt> Dimitris MICHAIL <michail@mpi-sb.mpg.de> Luca PAOLINI <paolini@di.unito.it> Norbert PREINING <preining@logic.at> Cristian RIGAMONTI <cri@linux.it> Sebastian RODRIGUEZ <sebastian.rodriguez@utbm.fr> Martin P.J. ZINSER <zinser@zinser.no-ip.info>