|
 
 

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)