Version française
Home     About     Download     Resources     Contact us    
Browse thread
JFLA06_:_Appel_à_partipation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Therese Hardin <Therese.Hardin@l...>
Subject: JFLA06_:_Appel_à_partipation
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