coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Therese Hardin <therese.hardin AT lip6.fr>
- To: caml-list AT inria.fr, coq-club AT pauillac.inria.fr, modulogic AT beaune.inria.fr
- Cc: Forum SPECIF <specif-forum AT essi.fr>
- Subject: [Coq-Club] JFLA06
- Date: Tue, 4 Oct 2005 20:05:06 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Avec toutes nos excuses pour les rappels multiples :
date limite de soumission aux JFLA06 : 10 octobre 2005
Pour tout savoir sur les JFLA06 : http://jfla.inria.fr/2006/index.html
Merci de transmettre cet appel autour de vous
En espérant vous rencontrer dans le cadre toujours convivial des JFLA, qui se tiendront cette année à Pauillac en Gironde,
Cordialement
Thérèse Hardin
Présidente du Comité de Programme
- [Coq-Club] JFLA06, Therese Hardin
Archive powered by MhonArc 2.6.16.