Version française
Home     About     Download     Resources     Contact us    
Browse thread
Participation JFLA
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: T.Hardin <Therese.Hardin@w...>
Subject: Participation JFLA
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@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