Retour /Back

Mathématiques, Algorithmes, Preuves
Mathematics, Algorithms, Proofs
05/01/2004 - 09/01/2004


Liste des participants / List of participants


Organisateurs / Organizer:

Marie-Françoise ROY
Université de Rennes
IRMAR, Campus de Beaulieu
35042 Rennes cedex, FRANCE


Henri LOMBARDI
Université de Franche-Comté
Département de Mathématiques
41 Bis Avenue de l'observatoir
25030 Besançon cedex, FRANCE


Thierry COQUAND
University of Gothenburg
Computer Science
S 41296 Gothenburg, SUEDE