JFLA'2008: appel à communications

JFLA'2008: appel à communications

[Sandrine Blazy]

(This message is intentionally written in French)

* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE  
CIRCULER *

PREMIER APPEL AUX COMMUNICATIONS       PREMIER APPEL AUX COMMUNICATIONS

                         JFLA'2008 (http://jfla.inria.fr/)

                Journées Francophones des Langages Applicatifs
                         Organisées par l'INRIA

                         26 au 29 janvier 2008

  JFLA'2008 est la dix-neuvième conférence francophone organisée  
autour des
langages applicatifs et des techniques de certification basées sur la
démonstration.

  Ces nouvelles journées se tiendront les

             26 au 29 janvier 2008.

  Elles auront lieu à la mer, très probablement à

             Étretat (ou près d'Étretat), à proximité de «Le Havre».

  Toujours centrée sur l'approche fonctionnelle de la programmation, la
conférence élargit son spectre aux techniques et outils  
complémentaires qui
élèvent le niveau de qualité des logiciels (systèmes d'aide à la preuve,
réécriture, tests, démonstration automatique, vérification).

  Les JFLA réunissent concepteurs et utilisateurs dans un cadre
agréable qui facilite la communication; ces journées ont pour  
ambition de
couvrir le domaine des langages applicatifs au sens large, en y  
incluant les
apports d'outils d'autres domaines qui permettent la construction de  
systèmes
logiciels plus sûrs. L'enseignement de l'approche fonctionnelle du
développement logiciel (spécification, sémantiques, programmation,  
compilation,
certification) est également un sujet qui concerne au plus haut point  
les
JFLA.

C'est pourquoi des contributions sur les thèmes suivants sont
particulièrement recherchées (liste non exclusive) :

- Langages fonctionnels : sémantique, compilation, optimisation,
   mesures, tests, extensions par d'autres paradigmes de programmation.

- Spécification, prototypage, développements formels d'algorithmes.

- Utilisation industrielle des langages fonctionnels.

- Assistants de preuve : implémentation, nouvelles tactiques,
   développements présentant un intéret technique ou méthodologique.

- Enseignement dans ses aspects liés à l'approche fonctionnelle
   du développement.

Les JFLA s'occupent avant tout d'articles de recherche originaux qui  
apportent
une réelle nouveauté. Toutefois, un article traitant d'un sujet qui  
intéresse
plusieurs disciplines sera examiné avec soin, même s'il a  
préalablement été
présenté à une autre communauté sans rapport avec celle des JFLA.
Un article ayant été traduit en français à partir d'une publication  
récente en
anglais sera examiné, à condition que la traduction apporte de plus  
un élément
nouveau.

Les articles soumis aux JFLA sont relus par au moins 2 personnes  
s'ils sont
acceptés, 3 personnes s'ils sont rejetés.

Les critiques des relecteurs sont toujours bienveillantes et la  
plupart du
temps encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !

Orateurs invités
----------------
  Pierre Weis (INRIA).
  Cédric Fournet (Microsoft Research).


Cours
-----
  Yves Bertot (INRIA).
  Renaud Rioboo (Lip6).

Comité de programme
-------------------
         Sandrine Blazy, Président (CEDRIC, ENSIIE, Évry)

         Alan Schmitt, Vice-Président (INRIA Grenoble - Rhône-Alpes)

         Horatiu Cirstea (INRIA Nancy - Grand Est)

         Tom Hirschowitz (LIP, ENS Lyon)

         Mathieu Jaume (LIP6, Université Paris 6)

         Delia Kesner (PPS, Université Paris 7)

         Nicolas Magaud (LSIIT, Université Louis Pasteur, Strasbourg)

         Marc Pouzet (LRI, Université Paris-Sud)

         Laurence Rideau (INRIA Sophia Antipolis - Méditerranée)

         Francesco Zappa Nardelli (INRIA Paris - Rocquencourt)

Soumission
----------
Date limite de soumission : 8 octobre 2007

Les soumissions doivent être soit rédigées en français, soit
présentées en français. Elles sont limitées à 15 pages A4. Le style
latex est imposé et se trouve sur le site WEB des journées à l'adresse
suivante :

          http://jfla.inria.fr/2008/actes.sty

La soumission est uniquement électronique, selon la méthode détaillée  
dans

          http://jfla.inria.fr/2008/instructions-fra.html

Les soumissions sont à envoyer à la présidente du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA 2008'', à l'adresse
suivante :

              jfla2008@ensiie.fr

Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.


Dates importantes
-----------------
8 octobre 2007 : Date limite de soumission
16 novembre 2007 : Notification aux auteurs
10 décembre 2007 : Remise des articles définitifs
14 janvier 2008 : Date limite d'inscription aux journées
26 au 29 janvier 2008 : Journées

Pour tout renseignement, contacter
----------------------------------
Gaëlle Dorkeld
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2003)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Gaelle.Dorkeld@inria.fr

http://jfla.inria.fr/2008/
tion