The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

(Sorry for multiple diffusion)




A diffuser autour de vous

GDR   Génie de la Programmation et du Logiciel  GPL

                      Groupe de travail

               Langages, Types et Preuves (LTP)



                     =====================
                     APPEL A PARTICIPATION
                     =====================



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 à 
dubois AT ensiie.fr
 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.