The Coq mailing list

[michel AT lami.univ-evry.fr (Olivier Michel)]

JFLA 2005 : Second appel à communications


(This message is intentionally written in French)

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


                               JFLA2005
            Journées Francophones des Langages Applicatifs
                        Organisées par l'INRIA
                                  à
                               Obernai (67)
                          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 à Obernai (67).

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

        François Fages  (INRIA Rocquencourt)
        François Pachet (SONY/CSL)


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

Date limite de soumission : 15 novembre 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 AT lami.univ-evry.fr

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


Dates importantes
-----------------

  15 Novembre 2004 : Reception des soumissions               
  1  Janvier 2005  : Notification aux auteurs                
  1  Fevrier 2005  : Reception des articles définitifs       
  9  Mars 2005     : Journées JFLA 2005

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