🚀 go-pugleaf

(This message is intentionally written in French)

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

     APPEL AUX COMMUNICATIONS                   APPEL AUX COMMUNICATIONS

                    *****  LA DATE BUTOIR APPROCHE *****

                                   JFLA2003
               Journ�es Francophones des Langages Applicatifs
                        Organis�es par l'INRIA

                        27 et 28  janvier 2003

JFLA'2003 est la quatorzi�me 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 27 et 28
janvier 2003. Elles auront lieu � la montagne, � Chamrousse (Is�re).

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.

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.

- Programmation applicative et enseignement de la programmation.


Orateurs invit�s
----------------
  Un professeur de classe pr�paratoire et un repr�sentant du milieu
  industriel viendront parler de l'utilisation de la programmation
  fonctionnelle dans leurs domaines respectifs.

Comit� de programme
-------------------
  Jean-Christophe Filli�tre, Pr�sident (Universit� Paris Sud)
  Yves Bertot (Inria Sophia Antipolis)
  Pierre Cr�gut (France T�l�com R&D)
  Emmanuel Chailloux (Universit� Pierre et Marie Curie)
  Xavier Leroy (Inria Rocquencourt)
  Claude March� (Universit� Paris Sud)
  Alexandre Miquel (Inria Rocquencourt)
  Olivier Pons (CNAM)
  Christophe Raffalli (Universit� de Savoie)
  J�r�me Vouillon (Universit� Denis Diderot)

Soumission
----------
Date limite de soumission : 1er octobre 2002

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

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

         http://pauillac.inria.fr/jfla/2003/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 :

             Jean-Christophe.Filliatre@lri.fr

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


Dates importantes
-----------------
1er octobre 2002 :                       Date limite de soumission
11 novembre 2002 :                       Notification aux auteurs
09 d�cembre 2002 :                       Remise des articles d�finitifs
27 et 28 janvier 2003 :                  Journ�es


Pour tout renseignement, contacter
----------------------------------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2003)
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/2003