The Coq mailing list

[Sandrine Blazy <sandrine.blazy AT ensiie.fr>]

Avec toutes nos excuses pour les envois multiples
-------------------------------------------------
Suite à de nombreuses demandes d'extension,
la date limite de soumission est repoussée au

  *** mardi 16 octobre 2007 ***

-------------------------------------------------
(This message is intentionally written in French)

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

DERNIER APPEL AUX COMMUNICATIONS       DERNIER APPEL AUX COMMUNICATIONS

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

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

                        26 au 29 janvier 2008

JFLA'2008 est la dix-neuviè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 du 26 au 29 janvier 2008.
Elles auront lieu à la mer, à Étretat.

Orateurs invités
----------------
Pierre Weis (INRIA).
Cédric Fournet (Microsoft Research).

Cours
-----
Yves Bertot (INRIA).
Renaud Rioboo (Lip6).

Comité de programme
-------------------
        Sandrine Blazy, Président (CEDRIC, ENSIIE, Évry)
        Alan Schmitt, Vice-Président (INRIA Grenoble - Rhône-Alpes)
        Horatiu Cirstea (INRIA Nancy - Grand Est)
        Tom Hirschowitz (LIP, ENS Lyon)
        Mathieu Jaume (LIP6, Université Paris 6)
        Delia Kesner (PPS, Université Paris 7)
        Nicolas Magaud (LSIIT, Université Louis Pasteur, Strasbourg)
        Marc Pouzet (LRI, Université Paris-Sud)
        Laurence Rideau (INRIA Sophia Antipolis - Méditerranée)
        Francesco Zappa Nardelli (INRIA Paris - Rocquencourt)

Soumission
----------
Date limite de soumission repoussée au 16 octobre 2007

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

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

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

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

             
jfla2008 AT ensiie.fr