The Coq mailing list

["Jean.Duprat" <duprat AT ens-lyon.fr>]

Journee "Geometrie et preuves par ordinateur".
Ecole Normale Superieure de Lyon.
11 juin 2003.

Le developpement des logiciels de demonstration automatique ou assistee 
par ordinateur ouvre des perspectives dans differentes branches des 
mathematiques. Nous sommes quelques uns a nous interesser aux 
applications en geometrie. Il pourrait etre fructueux de nous rencontrer 
pour partager nos recherches. C'est le but de cette journee et je vais 
essayer d'etre le coordonateur.

Jean Duprat
LIP
Ecole Normale Superieure
46, Allee d'Italie
69364 Lyon Cedex 07

tel 04 72 72 80 35

email : 
Jean.Duprat AT ens-lyon.fr

Si vous souhaitez intervenir dans cette journee, merci de m'envoyer un 
titre d'expose avec vos coordonnees avant le 7 juin de facon a ce que 
j'etablisse un emploi du temps.

Si vous souhaitez assister, merci de m'envoyer vos coordonnes afin 
d'etablir une liste des participants.

Dans les deux cas, vous pouvez egalement me faire part de vos 
contraintes horaires.

Enfin, si sans venir, vous souhaitez etre informe de la suite, merci de 
m'envoyer votre adresse electronique.

N'hesitez pas a distribuer cette annonce aupres de tous ceux qui sont 
susceptibles d'etre interesses.

Avec mes excuses a tous ceux auxquels j'ai contribue a l'encombrement de 
la boite aux lettres.

Amities

   Jean Duprat