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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id C0799BC6A; Wed, 11 Oct 2006 11:47:26 +0200 (CEST) Received: from mailironport.loria.fr (mailironport.loria.fr [152.81.144.100]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k9B9lOnf005911; Wed, 11 Oct 2006 11:47:25 +0200 Received: from polly.loria.fr ([152.81.7.190]) by mailironport.loria.fr with ESMTP; 11 Oct 2006 11:47:24 +0200 X-IronPort-AV: i="4.09,293,1157320800"; d="scan'208"; a="2791038:sNHT16673272" Received: by polly.loria.fr (Postfix, from userid 501) id B4BBB72B4C2; Wed, 11 Oct 2006 11:47:23 +0200 (CEST) Date: Wed, 11 Oct 2006 11:47:23 +0200 From: Pierre-Etienne Moreau To: rewriting@ens-lyon.fr, caml-list@inria.fr, qsl_tous@loria.fr Subject: JFLA 2007 : extension jusqu'au 18/10/2006 Message-ID: <20061011094723.GC27952@polly.loria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at concorde with ID 452CBDAC.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; jfla:01 jfla:01 l'inria:01 soumissions:01 soumissions:01 ilog:01 tolmach:01 rocquencourt:01 pouzet:01 lri:01 paris-sud:01 rocquencourt:01 judicael:01 frisch:01 evry:01 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/