[Caml-list] JFLA 2012

[Damien Pous <Damien.Pous@inria.fr>]

(This message is intentionally written in French)

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

         APPEL A PARTICIPATION           APPEL A PARTICIPATION

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

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

                       4 février au 7 février 2012

JFLA'2012 est la vingt troisiè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

           4 février au 7 février 2012.

Elles auront lieu à la mer, à

           Carnac, à proximité de Lorient, Rennes.

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.

Inscriptions
------------

 Avant le 20 janvier : http://registration.net-resa.com/site/675

Orateurs invités
----------------
 Benjamin Grégoire (Sophia Antipolis)
 Dimitrios Vytiniotis (Microsoft Research)


Cours
-----
 Jean-Christophe Filliâtre (CNRS)
 Matthieu Sozeau (INRIA Paris -- Rocquencourt)

Comité de programme
-------------------
       Assia Mahboubi, Présidente (INRIA Saclay -- Île-de-France)

       Damien Pous, Vice président (CNRS)

       David Baelde (Universtié Paris Sud 11)

       Fréderic Besson (INRIA Rennes -- Bretagne Atlantique)

       Sandrine Blazy (Université Rennes 1)

       Louis Mandel (Université Paris Sud 11)

       Guillaume Melquiond (INRIA Saclay -- Île-de-France)

       Julien Narboux (Université de Strasbourg)

       Yann Régis-Gianas (Université Paris 7)

       Christine Tasson (Université Paris 7)

Dates importantes
-----------------
23 octobre 2011 : Date limite de soumission
18 novembre 2011 : Notification aux auteurs
9 décembre 2011 : Remise des articles définitifs
20 janvier 2012 : Date limite d'inscription aux journées
4 février au 7 février 2012 : Journées

Pour tout renseignement d'ordre administratif, contacter
--------------------------------------------------------
Chantal Girodon
INRIA Service IST
 Domaine de Voluceau - BP 105
 78153 Le Chesnay cedex - France
Tel : +33 (0)1 39 63 50 53 - Fax : +33 (0)1 39 63 56 38
email : symposia@inria.fr

http://jfla.inria.fr/2012/