Organizers
Thierry Coquand (Computer Science and Engineering Department, University of Gothenburg)
Didier Henrion (LAAS-CNRS, University of Toulouse)
Henri Lombardi (Départment de Mathématiques, Université de Franche-Comté, Besançon)
Cordian Riener (Fachbereich Mathematik und Statistik, Universität Konstanz)
Marie-Françoise Roy (IRMAR, Université Rennes)
Markus Schweighofer (Fachbereich Mathematik und Statistik, Universität Konstanz)