The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

Avec toutes nos excuses pour les envois multiples
-------------------------------------------------
Date limite de soumission repoussée au

  *** mercredi 18 octobre 2006 ***

-------------------------------------------------

(This message is intentionally written in French)

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

DENRIER APPEL AUX COMMUNICATIONS       DERNIER APPEL AUX COMMUNICATIONS

                        JFLA'2007 (http://jfla.inria.fr/)

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

                        27-30 janvier 2007

JFLA'2007 est la dix-huitième conférence francophone organisée autour des
langages applicatifs et des techniques de certification basées sur la
démonstration.

 Ces nouvelles journées se tiendront les

            27-30 janvier 2007.

 Elles auront lieu à la montagne, à Aix-les-Bains.


Soumission
----------
Suite à de nombreuses demandes d'extension, 
la date limite de soumission est repoussée au

     *** mercredi 18 octobre 2006 ***

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

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

         http://jfla.inria.fr/2007/instructions-fra.html

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

             
Pierre-Etienne.Moreau AT loria.fr


Note : les auteurs qui ont déjà soumis un article peuvent bien évidemment
----   continuer à l'améliorer jusqu'au 18 octobre 2006.

Orateurs invités
----------------
 Hassan Aït Kaci (ILOG).
 Andrew Tolmach (projet Gallium, INRIA Rocquencourt).

Cours
-----
 Horatiu Cirstea (LORIA, Université Nancy 2).
 Marc Pouzet (LRI, Université Paris-Sud 11). 

Comité de programme
-------------------
        Pierre-Etienne Moreau, Président (LORIA, INRIA Lorraine)
        Sandrine Blazy, Vice-Président (CEDRIC, INRIA Rocquencourt)
        Judicaël Courant (Verimag)
        Alain Frisch (INRIA Rocquencourt)
        Jean-Louis Giavitto (IBISC, Evry)
        Delia Kesner (PPS, Université Paris 7)
        Jean-François Monin (Verimag)
        Virgile Prevosto (CEA)
        Alan Schmitt (INRIA Rhones-Alpes)
        Benjamin Werner (LIX, INRIA Futur)


Dates importantes
-----------------
18 octobre 2006    : Date limite de soumission
22 novembre 2006   : Notification aux auteurs
10 décembre 2006   : Remise des articles définitifs
15 janvier 2007    : Date limite d'inscription aux journées
27-30 janvier 2007 : Journées

Pour tout renseignement, contacter
----------------------------------
Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : 
Marie-Francoise.Loubressac AT inria.fr

http://jfla.inria.fr/2007/