From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8DGDHq8002752 for ; Tue, 13 Sep 2011 18:13:17 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkkBAPV/b07RVdU2kGdsb2JhbABCp2YIFAEBAQEJCQ0HFAQigVQBAQQMBgIsARIVEgMMAQUQOyISAQUBHAYTCRmHWZoCCo4XhT6JKAIDBoZoBJM9iguCbD2BSIIo X-IronPort-AV: E=Sophos;i="4.68,375,1312149600"; d="scan'208";a="108876609" Received: from mail-yw0-f54.google.com ([209.85.213.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Sep 2011 18:13:11 +0200 Received: by ywp17 with SMTP id 17so922682ywp.27 for ; Tue, 13 Sep 2011 09:13:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type :content-transfer-encoding; bh=gQzttFSMD9n/1EfpZIceLd+JOPR2AbMFvTA1f2SHF+o=; b=W3XXR19TEt+VCLxTFVUyo9nf/MOMOjetDJDSBbj6OCUHw8gURHmVUCtQKFBMfTQQ95 DleyWEUq6iU2m2N6wp9sDA0ZZmCcF1mA8ZMZ+NO6fSkg7DYz3q1qDMOUobaT06juLsUb SKsv4K8UFyq2XZUfd+0bhJSEsoXCYymRR/sio= MIME-Version: 1.0 Received: by 10.43.53.70 with SMTP id vp6mr1966415icb.58.1315930390095; Tue, 13 Sep 2011 09:13:10 -0700 (PDT) Sender: damien.pous@gmail.com Received: by 10.42.213.10 with HTTP; Tue, 13 Sep 2011 09:13:10 -0700 (PDT) In-Reply-To: <4E6F6AC4.3020400@inria.fr> References: <4E6F6AC4.3020400@inria.fr> Date: Tue, 13 Sep 2011 18:13:10 +0200 X-Google-Sender-Auth: c2rGIXlqGHf_bNB3HDpEzq3i7BI Message-ID: From: Damien Pous To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p8DGDHq8002752 Subject: [Caml-list] JFLA'2012 (This message is intentionally written in French) * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * PREMIER APPEL AUX COMMUNICATIONS       PREMIER APPEL AUX COMMUNICATIONS                        JFLA'2012 (http://jfla.inria.fr/2012/)               Journées Francophones des Langages Applicatifs                        Organisées par l'INRIA                        4 février au 7 février 2012 JFLA'2012 est la vingt troisiè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            4 février au 7 février 2012. Elles auront lieu à la mer. 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 ----------------  Dimitrios Vytiniotis (Microsoft Research).  (Non communiqué) ((Non communiqué)). Cours -----  Jean-Christophe Filliâtre (CNRS).  Matthieu Sozeau (INRIA Paris -- Rocquencourt). Comité de programme -------------------        Assia Mahboubi, Présidente (INRIA Saclay -- Île-de-France)        Damien Pous, Vice président (CNRS)        David Baelde (Universtié Paris Sud 11)        Fréderic Besson (INRIA Rennes -- Bretagne Atlantique)        Sandrine Blazy (Université Rennes 1)        Louis Mandel (Université Paris Sud 11)        Guillaume Melquiond (INRIA Saclay -- Île-de-France)        Julien Narboux (Université de Strasbourg)        Yann Régis-Gianas (Université Paris 7)        Christine Tasson (Université Paris 7) Soumission ---------- Date limite de soumission : 16 octobre 2011 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/2012/actes.sty La soumission est uniquement électronique, selon la méthode détaillée dans         http://jfla.inria.fr/2012/instructions.fr.html La soumission doit être réalisée à l'aide du système EasyChair          http://www.easychair.org/conferences/?conf=jfla2012 Dates importantes ----------------- 16 octobre 2011 : Date limite de soumission 18 novembre 2011 : Notification aux auteurs 9 décembre 2011 : Remise des articles définitifs 20 janvier 2012 : Date limite d'inscription aux journées 4 février au 7 février 2012 : Journées Pour tout renseignement d'ordre administratif, contacter -------------------------------------------------------- Chantal Girodon INRIA Service IST  Domaine de Voluceau - BP 105  78153 Le Chesnay cedex - France Tel : +33 (0)1 39 63 50 53 - Fax : +33 (0)1 39 63 56 38 email : symposia@inria.fr http://jfla.inria.fr/2012/