* JFLA 2008: extension jusqu'au 16 octobre 2007
@ 2007-10-09 7:14 Sandrine Blazy
0 siblings, 0 replies; only message in thread
From: Sandrine Blazy @ 2007-10-09 7:14 UTC (permalink / raw)
To: caml-list, coq-club, alp-diffusion
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@ensiie.fr
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2007-10-09 7:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-10-09 7:14 JFLA 2008: extension jusqu'au 16 octobre 2007 Sandrine Blazy
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).