The Coq mailing list

[Alan Schmitt <alan.schmitt AT polytechnique.org>]

(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'2009 (http://jfla.inria.fr/)

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

                         31 janvier au 3 février 2009

JFLA'2009 est la vingtiè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 du

             31 janvier au 3 février 2009.

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

             Saint-Quentin sur Isère, au pied du Vercors,
             à proximité de Grenoble.

Toujours centrée sur l'approche fonctionnelle de la programmation, la
conférence porte également sur les 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 applicatifs : 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 applicatifs.

- 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 cherchent avant tout des 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  
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
----------------
  Vincent Balat (Université Paris 7): "Ocsigen : approche  
fonctionnelle typée
    de la programmation Web."
  Eduardo Giménez (Trusted Logic).


Cours
-----
  Gérard Huet (INRIA Paris-Rocquecourt): "Automates, transducteurs et  
machines
    d'Eilenberg applicatives dans la boîte à outils Zen. Applications  
au
    traitement de la langue."
  Assia Mahboubi (LIX, INRIA Saclay - Île-de-France): "Présentation de
    SSRefelect."

Comité de programme
-------------------
         Alan Schmitt, Président (LIG, INRIA Grenoble - Rhône-Alpes)

         Micaela Mayero, Vice-Présidente (LIPN, Université Paris 13)

         Boutheina Chetali (Gemalto)

         Sylvain Conchon (LRI, Université Paris-Sud)

         David Delahaye (CEDRIC, CNAM)

         Hugo Herbelin (LIX, INRIA Saclay - Île-de-France)

         Didier Le Botlan (LAAS-CNRS, INSA de Toulouse)

         Jean-Vincent Loddo (LIPN, Université Paris 13)

         Alexandre Miquel (PPS, Université Paris 7)

         Davide Sangiorgi (Université de Bologne)

Soumission
----------
Date limite de soumission : 15 octobre 2008

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/2009/actes.sty

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

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

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

              
alan.schmitt AT inria.fr

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


Dates importantes
-----------------
15 octobre 2008 : Date limite de soumission
21 novembre 2008 : Notification aux auteurs
10 décembre 2008 : Remise des articles définitifs
14 janvier 2009 : Date limite d'inscription aux journées
31 janvier au 3 février 2009 : Journées

Pour tout renseignement, contacter
----------------------------------
INRIA Grenoble Rhône-Alpes
Bureau des Cours-Colloques
655 avenue de l'Europe - Montbonnot
38334 Saint Ismier Cedex - France
Tel : + 33 (0)4 76 61 52 23
Fax : + 33 (0)4 76 61 52 06
email : 
colloques AT inrialpes.fr

Attachment: PGP.sig
Description: This is a digitally signed message part