From: Sandrine Blazy <sandrine.blazy@ensiie.fr>
To: caml-list@inria.fr, coq-club@pauillac.inria.fr,
alp-diffusion@univ-lille1.fr
Subject: JFLA 2008: extension jusqu'au 16 octobre 2007
Date: Tue, 9 Oct 2007 09:14:44 +0200 [thread overview]
Message-ID: <809E0D5B-9D1D-476A-A8BC-DCBA4EE18B00@ensiie.fr> (raw)
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
reply other threads:[~2007-10-09 7:14 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=809E0D5B-9D1D-476A-A8BC-DCBA4EE18B00@ensiie.fr \
--to=sandrine.blazy@ensiie.fr \
--cc=alp-diffusion@univ-lille1.fr \
--cc=caml-list@inria.fr \
--cc=coq-club@pauillac.inria.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;
as well as URLs for NNTP newsgroup(s).