From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau@loria.fr>
To: caml-list@inria.fr, coq-club@pauillac.inria.fr,
modulogic@modulogic.inria.fr, alp-diffusion@univ-lille1.fr
Cc: Pierre-Etienne.Moreau@loria.fr, Sandrine.Blazy@inria.fr,
Judicael.Courant@imag.fr, Alain.Frisch@inria.fr,
giavitto@ibisc.univ-evry.fr, kesner@pps.jussieu.fr,
Jean-Francois.Monin@imag.fr, virgile.prevosto@m4x.org,
Alan.Schmitt@inrialpes.fr, Benjamin.Werner@inria.fr,
hak.ilog.fr@polly.loria.fr, cirstea@loria.fr, pouzet@lri.fr
Subject: Appel a participation aux JFLA 2007
Date: Mon, 25 Dec 2006 11:42:16 +0100 [thread overview]
Message-ID: <20061225104216.GA921@becky.local> (raw)
[-- Attachment #1: Type: text/plain, Size: 1216 bytes --]
Bonjour,
Le comité de programme des JFLA 2007 a le plaisir de vous adresser
l'appel à participation:
http://jfla.inria.fr/2007/index.html
Le programme comprend des cours-présentations permettant de s'initier au calcul
de réécriture avec Horatiu Cirstea (LORIA), et aux langages synchrones avec
Marc Pouzet (LRI).
Nous aurons également deux conférences invitées, l'une par Hassan Aït Kaci
(ILOG), l'autre par Andrew Tolmach (projet Gallium, INRIA Rocquencourt)
Une session de démonstrations d'outils a également été prévue.
Vous pouvez envoyer vos propositions de démonstration à
Pierre-Etienne.Moreau@loria.fr et Sandrine.Blazy@inria.fr
Merci d'avance de l'intérêt que vous porterez à ces Journées
Françaises des Langages Applicatifs, qui souhaitent s'ouvrir à
toutes les approches de spécification et de programmation
rejoignant notre souci de développement de logiciels plus sûrs.
En espérant partager avec vous toute la richesse scientifique des
JFLA 2007 ainsi que toutes les spécialités de la ville d'Aix-les-Bains,
dans l'ambiance traditionnellement conviviale de ces Journées.
Bien cordialement
Pierre-Etienne Moreau et Sandrine Blazy, Présidents du Comité de programme
[-- Attachment #2: Type: application/pgp-signature, Size: 186 bytes --]
reply other threads:[~2006-12-25 10:42 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=20061225104216.GA921@becky.local \
--to=pierre-etienne.moreau@loria.fr \
--cc=Alain.Frisch@inria.fr \
--cc=Alan.Schmitt@inrialpes.fr \
--cc=Benjamin.Werner@inria.fr \
--cc=Jean-Francois.Monin@imag.fr \
--cc=Judicael.Courant@imag.fr \
--cc=Sandrine.Blazy@inria.fr \
--cc=alp-diffusion@univ-lille1.fr \
--cc=caml-list@inria.fr \
--cc=cirstea@loria.fr \
--cc=coq-club@pauillac.inria.fr \
--cc=giavitto@ibisc.univ-evry.fr \
--cc=hak.ilog.fr@polly.loria.fr \
--cc=kesner@pps.jussieu.fr \
--cc=modulogic@modulogic.inria.fr \
--cc=pouzet@lri.fr \
--cc=virgile.prevosto@m4x.org \
/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