Le groupe intitulé "Langages, Types et Preuves" se réunira à Evry le 28
novembre.

Cette journée marquera le démarrage des travaux du groupe.

La réunion se tiendra à l'ENSIIE (www.ensiie.fr) le 28 novembre de 9h30 à 17h30.
Elle permettra aux différents groupes partenaires du groupe de travail de présenter les travaux en cours.

Pour plus de détails, on peut consulter la page du groupe de travail à
l'adresse sur le site du GDR : http://gdr-gpl.cnrs.fr

Le comité d'organisation est constitué de
Sandrine Blazy (ENSIIE)
Pierre Castéran (U. Bordeaux)
Catherine Dubois (ENSIIE)
Julien Forest (ENSIIE)

 Le formulaire joint est à utiliser si vous souhaitez participer à
la réunion, que ce soit en auditeur ou en orateur. Il est à envoyer
par e-mail à Cet e-mail est protégé contre les robots collecteurs de mails, votre navigateur doit accepter le Javascript pour le voir pour le 7 novembre 2008 au plus tard.

Au cas où trop de propositions seraient faites, le comité d'organisation
serait amené à choisir. Le critère sera alors la couverture maximale des
différents sites représentés dans le groupe.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Formulaire de participation

NOM :
Prénom :
Institution :
Adresse complète :
Tel :
Fax :
E-mail :


* Je souhaite participer en tant qu'auditeur.


* Je souhaite participer en tant qu'orateur, je propose
un exposé dont le titre est:

Joindre un résumé de quelques lignes.