From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D37ABBC0B; Mon, 25 Dec 2006 11:42:49 +0100 (CET) Received: from sophia.inria.fr (sophia.inria.fr [138.96.64.20]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBPAgjiX008776 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO); Mon, 25 Dec 2006 11:42:46 +0100 Received: from localhost (localhost [127.0.0.1]) by sophia.inria.fr (8.13.8/8.13.4) with ESMTP id kBPAgJaa009894; Mon, 25 Dec 2006 11:42:19 +0100 Received: from becky.local (116.114.119-80.rev.gaoland.net [80.119.114.116]) (authenticated bits=0) by sophia.inria.fr (8.13.8/8.13.4) with ESMTP id kBPAgFMA009828 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO); Mon, 25 Dec 2006 11:42:16 +0100 Received: by becky.local (Postfix, from userid 501) id A373B5FF5C3; Mon, 25 Dec 2006 11:42:16 +0100 (CET) Date: Mon, 25 Dec 2006 11:42:16 +0100 From: Pierre-Etienne Moreau 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 Message-ID: <20061225104216.GA921@becky.local> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="zhXaljGHf11kAtnf" Content-Disposition: inline User-Agent: Mutt/1.5.11-2006-06-13 X-Greylist: Sender succeeded SMTP AUTH authentication, not delayed by milter-greylist-2.0.2 (sophia.inria.fr [138.96.64.20]); Mon, 25 Dec 2006 11:42:17 +0100 (MET) X-Virus-Scanned: by amavisd-new at sophia.inria.fr X-Miltered: at discorde with ID 458FAB25.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; jfla:01 jfla:01 reecriture:01 pouzet:01 lri:01 aurons:01 invitees:01 ilog:01 tolmach:01 rocquencourt:01 moreau:03 moreau:03 marc:03 langages:03 langages:03 X-Attachments: type="application/pgp-signature" --zhXaljGHf11kAtnf Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Bonjour, Le comit=E9 de programme des JFLA 2007 a le plaisir de vous adresser l'appel =E0 participation: http://jfla.inria.fr/2007/index.html Le programme comprend des cours-pr=E9sentations permettant de s'initier au = calcul de r=E9=E9criture avec Horatiu Cirstea (LORIA), et aux langages synchrones = avec Marc Pouzet (LRI). Nous aurons =E9galement deux conf=E9rences invit=E9es, l'une par Hassan A= =EFt Kaci (ILOG), l'autre par Andrew Tolmach (projet Gallium, INRIA Rocquencourt) Une session de d=E9monstrations d'outils a =E9galement =E9t=E9 pr=E9vue. Vous pouvez envoyer vos propositions de d=E9monstration =E0 Pierre-Etienne.Moreau@loria.fr et Sandrine.Blazy@inria.fr Merci d'avance de l'int=E9r=EAt que vous porterez =E0 ces Journ=E9es Fran=E7aises des Langages Applicatifs, qui souhaitent s'ouvrir =E0 toutes les approches de sp=E9cification et de programmation rejoignant notre souci de d=E9veloppement de logiciels plus s=FBrs. En esp=E9rant partager avec vous toute la richesse scientifique des JFLA 2007 ainsi que toutes les sp=E9cialit=E9s de la ville d'Aix-les-Bains, dans l'ambiance traditionnellement conviviale de ces Journ=E9es. Bien cordialement Pierre-Etienne Moreau et Sandrine Blazy, Pr=E9sidents du Comit=E9 de progra= mme --zhXaljGHf11kAtnf Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.5 (Darwin) iD8DBQFFj6sIPU/jOd1MBVQRAkp9AJwLCY3SrEHpdoNR5gKnilJ+ruqR+ACdFv0y Chl3d+lOjshOQ3m90EdTnc0= =HD59 -----END PGP SIGNATURE----- --zhXaljGHf11kAtnf--