olivier michel

JFLA 2005 : Premier appel à communications


* ATTENTION, CETTE ANNÉE, LES JFLA SE DÉROULENT EN MARS *


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

conjointement à

LMO
Langages et Modèles à Objets


Berne (Suisse)
9 et 10 Mars 2005

JFLA'2005 est la seizième édition de la conférence francophone
organisée autour des langages applicatifs et les techniques de
certification basées sur la démonstration.
Ces nouvelles journées se tiendront les 9 et 10 Mars 2005. Elles
auront lieu à la montagne à Berne (Suisse).

Les JFLA ont pour ambition de couvrir le domaine des langages
applicatifs et les techniques de certification, en réunissant
concepteurs et utilisateurs dans un cadre sympathique.

Les thèmes principaux des JFLA sont traditionnellement la théorie et
les applications pratiques des langages applicatifs ; de plus, la
conférence confirme son intérêt pour les systèmes d'assistance à la
démonstration de théorèmes et l'enseignement de la programmation.

Pour la première fois cette année, les JFLA se dérouleront
conjointement a la conférence sur les Langages et Modèles a Objets
(LMO). C'est pourquoi des contributions sur des thèmes d'intérêt
commun sont particulièrement recherchées, en plus des thèmes habituels
(liste non exclusive) :

- Objets et langages applicatifs, objets distribués, vérification de
programmes à ojets.

- Langages fonctionnels : sémantique, compilation, optimisation,
mesures, tests, extensions par d'autres paradigmes de programmation
(objets, logiques, parallèles, concurrents, ...).

- 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.

- Programmation applicative et enseignement de la programmation.


Orateurs invités et sessions communes
-------------------------------------

Les présentations des orateurs invités, ainsi que deux sessions,
seront conjointes aux deux conférences.

Comité de programme des JFLA
----------------------------

Olivier Michel, Président (LaMI, Université d'Evry Val d'Essonne - CNRS - Genopole)
Catherine Dubois (CEDRIC, Institut d'Informatique d'Entreprise)
Jean-Pierre Gallois (projet AGATHA/CEA Saclay)
Jacques Garrigue (Université de Kyoto)
Frederic Loulergue (LACL, Université de Paris-XII Créteil)
Pierre-Etienne Moreau (projet PROTHEO, LORIA)
Loïc Pottier (projet LEMME, INRIA Sophia-Antipolis)
Didier Remy (projet CRISTAL, INRIA Rocquencourt)
Manuel Serrano (projet MIMOSA, INRIA Sophia-Antipolis)
Patrick Viry (ILOG)


Soumission aux JFLA
-------------------
Date limite de soumission : 8 octobre 2004

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://pauillac.inria.fr/jfla/2005/actes.sty

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

http://pauillac.inria.fr/jfla/2005/instructions-fra.html

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

jfla2005@lami.univ-evry.fr

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


Dates importantes
-----------------
8 octobre 2004 : Reception des soumissions
27 novembre 2004 : Notification aux auteurs
9 janvier 2005 : Reception des articles définitifs
9 mars 2005 : JFLA+LMO 2005 (Berne/Suisse)


Pour tout renseignement, contacter
----------------------------------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2005)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 50 53 - Fax : +33 (0) 1 39 63 56 38
email : symposia@inria.fr
http://pauillac.inria.fr/jfla/2005