From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 195AFBC58 for ; Tue, 14 Sep 2010 12:30:24 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AokBAP/rjkyBrw8EmWdsb2JhbAChThUBAQEBAQgLCgcRIsJzhUAEjSQ X-IronPort-AV: E=Sophos;i="4.56,363,1280700000"; d="scan'208";a="67553218" Received: from ext.lri.fr ([129.175.15.4]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 14 Sep 2010 12:30:12 +0200 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id DC4F640232 for ; Tue, 14 Sep 2010 12:30:11 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id DgoeHoia08Q8 for ; Tue, 14 Sep 2010 12:30:11 +0200 (CEST) Received: from [129.175.4.101] (lri4-101 [129.175.4.101]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id AA7CD3FE5A for ; Tue, 14 Sep 2010 12:30:11 +0200 (CEST) Message-ID: <4C8F4EB3.4010009@lri.fr> Date: Tue, 14 Sep 2010 12:30:11 +0200 From: Sylvain Conchon User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: caml-list@inria.fr Subject: JFLA 2011: 2eme appel aux communications X-Enigmail-Version: 0.96.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; lri:01 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 dowek:01 * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS JFLA'2011 (http://jfla.inria.fr/2011/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 29 janvier au 1 février 2011 JFLA'2011 est la vingt deuxiè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 du 29 janvier au 1 février 2011. Elles auront lieu à la montagne, à La Bresse, à proximité de Mulhouse. Toujours centrée sur l'approche fonctionnelle de la programmation, la conférence porte également sur les techniques et outils complémentaires qui élèvent le 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 qui facilite la communication; ces journées ont pour ambition de couvrir le domaine des langages applicatifs au sens large, en y incluant les apports d'outils d'autres domaines qui permettent 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 qui concerne au plus haut point les JFLA. C'est pourquoi des contributions sur les thèmes suivants sont particulièrement recherchées (liste non exclusive) : - Langages fonctionnels et applicatifs : 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 et applicatifs. - Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. - Enseignement dans ses aspects liés à l'approche fonctionnelle du développement. Les JFLA cherchent avant tout des articles de recherche originaux qui apportent une réelle nouveauté. Toutefois, un article traitant d'un sujet qui intéresse plusieurs disciplines sera examiné avec soin, même s'il a préalablement été présenté à une autre communauté sans rapport avec celle des JFLA. Un article ayant été traduit en français à partir d'une publication récente en anglais sera examiné, à condition que la traduction apporte un élément nouveau. Les articles soumis aux JFLA sont relus par au moins 2 personnes s'ils sont acceptés, 3 personnes s'ils sont rejetés. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, même en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Orateurs invités ---------------- Gilles Dowek (École Polytechnique) François Pottier (INRIA Paris -- Rocquencourt) Cours ----- Yves Bertot (INRIA Sophia Antipolis -- Méditerranée) Luc Maranget (INRIA Paris -- Rocquencourt) Comité de programme ------------------- Sylvain Conchon, Président (Université Paris 11) Assia Mahboubi, Vice Présidente (INRIA Saclay -- Île-de-France) Sylvie Boldo (INRIA Saclay -- Île-de-France) Roberto Di Cosmo (Université Paris 7) James Leifer (INRIA Paris -- Rocquencourt) Alexandre Miquel (ENS Lyon) David Pichardie (INRIA Rennes -- Bretagne Atlantique) Damien Pous (CNRS) Julien Signoles (CEA Saclay) Laurent Théry (INRIA Sophia Antipolis -- Méditerranée) Soumission ---------- Date limite de soumission : 17 octobre 2010 Les articles admis aux JFLA seront l'objet d'une sélection pour publication journal d'une version longue. Les actes des jfla seront remis aux participants durant la conférence. 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/2011/actes.sty La soumission doit être réalisée à l'aide du système EasyChair http://www.easychair.org/conferences/?conf=jfla2011 Dates importantes ----------------- 17 octobre 2010 : Date limite de soumission 19 novembre 2010 : Notification aux auteurs 10 décembre 2010 : Remise des articles définitifs 14 janvier 2011 : Date limite d'inscription aux journées 29 janvier au 1 février 2011 : Journées Pour tout renseignement, contacter ---------------------------------- Gaëlle DORKELD INRIA Service IST Domaine de Voluceau - BP 105 78153 Le Chesnay cedex - France Tel : + 33 (0)1 39 63 56 00 - Fax : + 33 (0)1 39 63 56 38 email : Gaelle.DORKELD@inria.fr http://jfla.inria.fr/2011/