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@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