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
- Cc: Forum SPECIF <specif-forum AT essi.fr>
- Subject: [Coq-Club] Date limite JFLA
- Date: Wed, 12 Oct 2005 11:59:26 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
La date limite de soumission des articles pour les prochaines JFLA est repoussée au mercredi 18 octobre minuit. Merci d'avance de vos soumissions.
Pour tous détails :
http://jfla.inria.fr/2006/index.html
En espérant vous retrouver à Pauillac, fin janvier 2006
T. Hardin
- [Coq-Club] Date limite JFLA, Therese Hardin
Archive powered by MhonArc 2.6.16.