The Coq mailing list

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

Hello,

I am pleased to forward the call for participation (in French) for the 
JFLA'2006
"Journées Francophones des Langages Applicatifs" in Pauillac (near 
Bordeaux, France).

Sorry for multiple messages.

Pierre

--- Begin Message ---

• From: Therese Hardin <Therese.Hardin AT lip6.fr>
• To: caml-list AT inria.fr, coq-list AT inria.fr, FOcal FOcal <focal AT modulogic.inria.fr>, alp-diffusion AT univ-lille1.fr
• Subject: [Caml-list] JFLA06 : Appel à partipation
• Date: Tue, 20 Dec 2005 08:46:03 +0100
• List-id: Caml users' mailing list <caml-list.yquem.inria.fr>

Bonjour,

Le comité de programme des JFLA06 a le plaisir de vous adresser l'appel à participation. Innovations 2006: le programme comprend des cours permettant aux débutants de s'initier à Coq et Focal et aux plus chevronnés de partager leurs connaissances et leur enthousiasme. Venez goûter au "Coq au Pauillac et aux Omégas en Focalisant avec Zenon". Pour tous détails, voir l'appel à participation:

http://jfla.inria.fr/2006/index.html

Une session de d�monstrations d'outils a �galement �t� pr�vue. Pouvez- vous envoyer vos propositions de d�monstration � jfla2006 AT loria.fr. Merci d'avance.

Merci d 'avance de l'intérêt que vous porterez à ces Journées Françaises des Langages Applicatifs, qui souhaitent s'ouvrir à toutes les approches de spécification et de programmation rejoignant notre souci de développement de logiciels plus sûrs.

Très cordialement

Thérèse Hardin, Présidente du Comité de programme

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--- End Message ---