coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: conchon <sylvain.conchon AT lri.fr>
- To: gdr-im AT gdr-im.fr, gdr.gpl AT imag.fr, coq-club AT inria.fr
- Subject: [Coq-Club] JFLA 2011: inscription à la conférence
- Date: Sat, 18 Dec 2010 00:24:48 +0100
Appel à participation
JFLA'2011 (http://jfla.inria.fr/2011/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
29 janvier au 1 février 2011 à La Bresse
Le formulaire d'inscription est maintenant en ligne. Vous trouverez le
lien sur le site des journées http://jfla.inria.fr/2011/
Date limite des inscriptions: 14 janvier 2011
À bientôt à La Bresse.
Sylvain Conchon et Assia Mahboubi
- [Coq-Club] JFLA 2011: inscription à la conférence, conchon
Archive powered by MhonArc 2.6.16.