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