Version française
Home     About     Download     Resources     Contact us    
Browse thread
JFLA 2011 : 1er appel aux communications
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: conchon <sylvain.conchon@l...>
Subject: JFLA 2011 : 1er appel aux communications
(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'2011 (http://jfla.inria.fr/)

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

                        29 janvier au 1 février 2011

JFLA'2011 est la vingt deuxiè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

            29 janvier au 1 février 2011.

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

            La Bresse, dans les Vosges.

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 fonctionnels et 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 fonctionnels et applicatifs.

- Assistants de preuve : implémentation, nouvelles tactiques,
  développements présentant un intérêt 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
----------------
 Gilles Dowek (École Polytechnique).
 François Pottier (INRIA Paris - Rocquencourt).

Cours
-----
 Yves Bertot (INRIA Sophia Antipolis Méditerranée).
 Luc Maranget (INRIA Paris - Rocquencourt).

Comité de programme
-------------------
        Sylvain Conchon, Président (Université Paris 11)

        Assia Mahboubi, Vice Présidente (INRIA Saclay - Ile de France)

        Sylvie Boldo (INRIA Saclay - Ile de France)

        Roberto Di Cosmo (Université Paris 7)

        James Leifer (INRIA Paris - Rocquencourt)

        Alexandre Miquel (ENS Lyon)

        David Pichardie (INRIA Rennes - Bretagne Atlantique)

        Damien Pous (INRIA Grenoble - Rhône-Alpes)

        Julien Signoles (CEA Saclay)

	Laurent Théry (INRIA Sophia Antipolis Méditerranée)

Dates importantes
-----------------
17 octobre 2010 : Date limite de soumission
19 novembre 2010 : Notification aux auteurs
10 décembre 2010 : Remise des articles définitifs
14 janvier 2011 : Date limite d'inscription aux journées
29 janvier au 1 février 2011 : Journées


Contact scientifique
--------------------

Sylvain Conchon
INRIA Saclay - île-de-France
ProVal
Parc Club Orsay Université, bâtiment N
4 rue Jacques Monod
F-91893 Orsay cedex
France

Tél. : + 33 (0)1 72 92 59 56
Courriel : Sylvain.Conchon@lri.fr