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 12CECBC0A for ; Mon, 8 Jan 2007 21:44:13 +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 l08KiCV5024111 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 8 Jan 2007 21:44:12 +0100 Received: from localhost (localhost [127.0.0.1]) by sophia.inria.fr (8.13.8/8.13.4) with ESMTP id l08KiCoo032289 for ; Mon, 8 Jan 2007 21:44:12 +0100 Received: from becky.local (135.113.119-80.rev.gaoland.net [80.119.113.135]) (authenticated bits=0) by sophia.inria.fr (8.13.8/8.13.4) with ESMTP id l08KiAmV032280 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Mon, 8 Jan 2007 21:44:10 +0100 Received: by becky.local (Postfix, from userid 501) id CBE3666271A; Mon, 8 Jan 2007 21:44:09 +0100 (CET) Date: Mon, 8 Jan 2007 21:44:09 +0100 From: Pierre-Etienne Moreau To: caml-list@inria.fr Subject: Deuxieme appel a participation aux JFLA 2007 Message-ID: <20070108204409.GD324@becky.local> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="zS7rBR6csb6tI2e1" 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, 08 Jan 2007 21:44:10 +0100 (MET) X-Virus-Scanned: by amavisd-new at sophia.inria.fr X-Miltered: at discorde with ID 45A2AD1C.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; jfla:01 jfla:01 ilog:01 tolmach:01 rocquencourt:01 haskell:01 pouzet:01 lri:01 reecriture:01 ouvertes:01 receptions:98 proofs:01 moreau:03 moreau:03 marc:03 X-Attachments: type="application/pgp-signature" --zS7rBR6csb6tI2e1 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Bonjour, merci de nous excuser pour les r=E9ceptions multiples. Le comit=E9 de programme des JFLA 2007 a le plaisir de vous adresser le deuxi=E8me appel =E0 participation.=20 Le programme comprend deux expos=E9s invit=E9s : * Hassan A=EFt Kaci (ILOG) Satisfaction modulo th=E9ories : application =E0 la v=E9rification de r= =E8gles m=E9tiers par contraintes * Andrew Tolmach (projet Gallium, INRIA Rocquencourt) Operating Systems in Haskell: Implementations, Models, and Proofs Un cours sur les langages de programmation sera donn=E9 par Marc Pouzet (LR= I). Un autre cours, sur la r=E9=E9criture, sera donn=E9 par Horatiu Cirstea (LORIA= ) et Antoine Reilles (LORIA). 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 Les inscription sont ouvertes. Merci de vous inscrire=20 avant le *** 20 janvier 2007 *** Pour tous d=E9tails, voir l'appel =E0 participation: http://jfla.inria.fr/2= 007/ Merci d'avance de l'int=E9r=EAt que vous porterez =E0 ces Journ=E9es Fran=E7aises des Langages Applicatifs. Bien cordialement Pierre-Etienne Moreau et Sandrine Blazy, Pr=E9sidents du Comit=E9 de progra= mme --zS7rBR6csb6tI2e1 Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (Darwin) iD8DBQFFoq0ZPU/jOd1MBVQRAgP0AJ4yeXTJO9WlDacq3MwiGDD3HH6oSgCfUjoA fqp0H+jMPsgfROrnq8iSckA= =gA3C -----END PGP SIGNATURE----- --zS7rBR6csb6tI2e1--