From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
To: rewriting@ens-lyon.fr, caml-list@inria.fr, qsl_tous@loria.fr
Subject: JFLA 2007 : extension jusqu'au 18/10/2006
Date: Wed, 11 Oct 2006 11:47:23 +0200 [thread overview]
Message-ID: <20061011094723.GC27952@polly.loria.fr> (raw)
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@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@inria.fr
http://jfla.inria.fr/2007/
reply other threads:[~2006-10-11 9:47 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20061011094723.GC27952@polly.loria.fr \
--to=pierre-etienne.moreau@loria.fr \
--cc=caml-list@inria.fr \
--cc=qsl_tous@loria.fr \
--cc=rewriting@ens-lyon.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox