Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] JFLA 2002 : Deuxieme appel a communications
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Laurence Rideau <Laurence.Rideau@s...>
Subject: [Caml-list] JFLA 2002 : Deuxieme appel a communications
(This message is intentionally written in French)

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

DEUXIEME  APPEL AUX COMMUNICATIONS       DEUXIEME APPEL AUX COMMUNICATIONS

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

                        28 et 29  janvier 2002

JFLA'2002 est la treiziè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 28 et 29
janvier 2002. Elles auront lieu à Anglet près de Biarritz.

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
----------------
  Thérèse Hardin (Paris 6)
  Yves Bertot (Projet Lemme, Inria Sophia)

Comité de programme
-------------------
	Laurence Rideau, Présidente (Inria Sophia Antipolis)

	Stefano Berardi (Université de Turin)
	Jean-Marc Eber (Lexifi Technologies, Paris)
	Daniel Hirschkoff (ENS Lyon)
	Jean-Francois Monin (France Telecom, Lannion)
	Philippe Narbel (Labri, Université de Bordeaux)
	Julian Padget (Université de Bath)
	François Pottier (Inria Rocquencourt)
	Bernard Serpette (Inria Sophia)
	Davide Sangiorgi (Inria Sophia)

Soumission
----------
Date limite de soumission : 28 septembre 2001

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

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

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

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

             Laurence.Rideau@inria.fr

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


Dates importantes
-----------------
28 septembre 2001 :                      Date limite de soumission 
12 novembre 2001 :                       Notification aux auteurs
10 décembre 2001 :                       Remise des articles définitifs 
28 et 29 janvier 2002 :                  Journées


Pour tout renseignement, contacter
----------------------------------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2002)
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/2002
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr