The Coq mailing list

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

(Sorry for multiple copies)


Je retransmets le second appel à participation aux Journées Francophones 
des lalngages applicatifs (message original de Thérèse Hardin, 
préseidente des JFLA 2006.

Pierre

-------------------------------------------------------------------------------------------------------------------------------

Bonjour,

Voici l'appel à participation aux JFLA 2006:  http://jfla.inria.fr/ 
2006/index.html

Innovations 2006  :  "COQ au Pauillac et aux Omégas" avec Pierre  
Casteran, "FOCALiser sous les auspices de Zenon" avec  D. Delahaye et  
C. Morisset, des cours-présentations destinés à ceux qui n'ont jamais  
manipulé ces langages ainsi qu'aux utilisateurs chevronnés. Nous  aurons 
également deux conférences invitées, l'une par  Mark van den  Brand (CWI 
Amsterdam) sur "Les applications de la réécriture avec ASF +SDF", 
l'autre par Choukri Ben-Yellès (IUT Valence) sur "Enseigner  Ocaml en 
IUT : pourquoi, comment?".

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.

La communauté des JFLA souhaite s'ouvrir à toutes les approches de  
spécification et de programmation rejoignant son souci de  développement 
de logiciels plus sûrs. C'est pourquoi nous aurons  également une 
présentation de l'activité de la communauté AFADL.


En espérant partager avec vous  toute la richesse scientifique des  
JFLA'06 ainsi que toutes les spécialités de la ville de Pauillac  (elles 
"méritent le détour"), dans l'ambiance traditionnellement  conviviale de 
ces Journées.

Très cordialement

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