Second Call for Papers JFLA2000

From: dubois@lami.univ-evry.fr
Date: Wed Sep 22 1999 - 21:23:50 MET DST


From: dubois@lami.univ-evry.fr
Message-Id: <199909221923.VAA01326@clement.lami.univ-evry.fr>
Date: Wed, 22 Sep 1999 21:23:50 +0200 (MET DST)
To: caml-list@inria.fr, comp.lang.functional@lami.univ-evry.fr,
Subject: Second Call for Papers JFLA2000

(This message is intentionally written in French)

* FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER * FAITES CIRCULER

 APPEL AUX COMMUNICATIONS APPEL AUX COMMUNICATIONS

                                   JFLA2000
               Journées Francophones des Langages Applicatifs
                Organisées par l'INRIA et l'Université d'Evry

                        31 janvier - 1er février 2000

JFLA'2000 est la onzième conférence francophone organisée autour des
langages applicatifs. Ces nouvelles journées se tiendront les 31
janvier et 1er février 2000. Elles auront lieu au bord de la mer, au
Mont Saint-Michel.

Les JFLA ont pour ambition de couvrir le domaine des langages
applicatifs, au sens large, en réunissant les concepteurs et les
utilisateurs dans un cadre sympathique.
Outre son intérêt traditionnel pour la théorie et les applications
pratiques des langages applicatifs, la conférence élargit cette année
ses préoccupations aux aspects sûreté du logiciel et enseignement de
la programmation fonctionnelle.

C'est pourquoi des contributions sur les thèmes suivants sont
particulièrement recherchées :

- Spécification, prototypage, développements formels d'algorithmes
- Preuves de propriétés de programmes ou d'algorithmes à l'aide
  d'assistants à la preuve
- Utilisation industrielle de langages fonctionnels
- Programmation fonctionnelle et enseignement
- Langages fonctionnels : sémantique, compilation, optimisation,
  mesures, tests, extensions par d'autres paradigmes de programmation.

Orateurs invités
----------------
Richard Kieburtz Oregon Graduate Institute, Portland, USA
Bruno Marre LRI Orsay, France

Comité de programme
-------------------
Catherine Dubois, Présidente Université d'Evry, France

Maria-Virginia Aponte CNAM Paris, France
Pierre Castéran Université de Bordeaux, France
Klaus Havelund Nasa, USA
Emmanuel Ledinot Dassault-Aviation, France
Luc Maranget INRIA Rocquencourt, France
Catherine Parent IMAG, Grenoble, France
Marc Pouzet Université Paris 6, France
Jan Vitek Université de Purdue, USA

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

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/2000/jfla2000.sty

Il est préférable de soumettre électroniquement sous la forme d'un
fichier postscript, imprimable directement depuis Unix. Les actes seront
édités par l'INRIA. Les soumissions sont à envoyer au président du
comité de programme, en mentionnant jfla2000 dans le titre de votre
message, à l'adresse suivante :

                          dubois@lami.univ-evry.fr

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

Dates importantes
-----------------
1er octobre 1999 : Date limite de soumission
12 novembre 1999 : Notification aux auteurs
10 décembre 1999 : Remise des articles définitifs
31 janvier / 1er février 2000 : Journées

Pour tout renseignement, contacter
----------------------------------
Florence Balax
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2000)
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/2000



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET