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

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau@l...>
Subject: Appel aux Communications JFLA 2007
(This message is intentionally written in French)

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

DEUXIEME APPEL AUX COMMUNICATIONS       DEUXIEME APPEL AUX COMMUNICATIONS

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

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

                         27-30 janvier 2007

	JFLA'2007 est la dix-huitiè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

             27-30 janvier 2007.

  Elles auront lieu à la montagne, à Aix-les-Bains.

	Toujours centrée sur l'approche fonctionnelle de la programmation, la
conférence a depuis l'an dernier élargi son spectre aux techniques et outils
complémentaires qui élèvent 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
facilitant la communication; ces journées ont pour ambition de couvrir le
domaine des langages applicatifs, en y incluant les apports d'outils d'autres
domaines qui autorisent 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 concernant fortement 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.

Orateurs invités
----------------
  Hassan Aït Kaci (ILOG).
  Andrew Tolmach (projet Gallium, INRIA Rocquencourt).

Cours
-----
  Horatiu Cirstea (LORIA, Université Nancy 2).
  Marc Pouzet (LRI, Université Paris-Sud 11). 

Comité de programme
-------------------
         Pierre-Etienne Moreau, Président (LORIA, INRIA Lorraine)
         Sandrine Blazy, Vice-Président (CEDRIC, INRIA Rocquencourt)
         Judicaël Courant (Verimag)
         Alain Frisch (INRIA Rocquencourt)
         Jean-Louis Giavitto (IBISC, Evry)
         Delia Kesner (PPS, Université Paris 7)
         Jean-François Monin (Verimag)
         Virgile Prevosto (CEA)
         Alan Schmitt (INRIA Rhones-Alpes)
         Benjamin Werner (LIX, INRIA Futur)

Soumission
----------
Date limite de soumission : 10 octobre 2006

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

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

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

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

              Pierre-Etienne.Moreau@loria.fr

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


Dates importantes
-----------------
10 octobre 2006    : Date limite de soumission
15 novembre 2006   : Notification aux auteurs
10 décembre 2006   : Remise des articles définitifs
15 janvier 2007    : Date limite d'inscription aux journées
27-30 janvier 2007 : Journées

Pour tout renseignement, contacter
----------------------------------
Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques
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 : Marie-Francoise.Loubressac@inria.fr

http://jfla.inria.fr/2007/