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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 8BF9BBC68 for ; Thu, 28 Sep 2006 17:26:25 +0200 (CEST) Received: from mailironport2.loria.fr (mailironport2.loria.fr [152.81.144.101]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8SFQPLU020247 for ; Thu, 28 Sep 2006 17:26:25 +0200 Received: from polly.loria.fr ([152.81.7.190]) by mailironport2.loria.fr with ESMTP; 28 Sep 2006 17:26:25 +0200 X-IronPort-AV: i="4.09,231,1157320800"; d="scan'208"; a="18598:sNHT22923439" Received: by polly.loria.fr (Postfix, from userid 501) id 031E66D0663; Thu, 28 Sep 2006 17:26:25 +0200 (CEST) Date: Thu, 28 Sep 2006 17:26:24 +0200 From: Pierre-Etienne Moreau To: caml-list@inria.fr Subject: Appel aux Communications JFLA 2007 Message-ID: <20060928152624.GK29199@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 discorde with ID 451BE9A1.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; jfla:01 jfla:01 l'inria:01 reecriture:01 agreable:01 semantiques:01 compilation:01 fonctionnels:01 semantique:01 compilation:01 paradigmes:01 formels:01 fonctionnels:01 ilog:01 tolmach:01 (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME 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. Toujours centrée sur l'approche fonctionnelle de la programmation, la conférence a depuis l'an dernier élargi son spectre aux techniques et outils complémentaires qui élèvent niveau de qualité des logiciels (systèmes d'aide à la preuve, réécriture, tests, démonstration automatique, vérification). Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréable facilitant la communication; ces journées ont pour ambition de couvrir le domaine des langages applicatifs, en y incluant les apports d'outils d'autres domaines qui autorisent la construction de systèmes logiciels plus sûrs. L'enseignement de l'approche fonctionnelle du développement logiciel (spécification, sémantiques, programmation, compilation, certification) est également un sujet concernant fortement les JFLA. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées (liste non exclusive) : - Langages fonctionnels : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation. - Spécification, prototypage, développements formels d'algorithmes. - Utilisation industrielle des langages fonctionnels. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intéret technique ou méthodologique. - Enseignement dans ses aspects liés à l'approche fonctionnelle du développement. 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) Soumission ---------- Date limite de soumission : 10 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 Les intentions de soumission envoyées le plus tôt possible à l'adresse ci-dessus seront les bienvenues. Dates importantes ----------------- 10 octobre 2006 : Date limite de soumission 15 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/