From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id AF9D481792; Thu, 27 Jun 2013 08:02:08 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Christine.Tasson@pps.univ-paris-diderot.fr) identity=pra; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christine.Tasson@pps.univ-paris-diderot.fr"; x-sender="Christine.Tasson@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Christine.Tasson@pps.univ-paris-diderot.fr) identity=mailfrom; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christine.Tasson@pps.univ-paris-diderot.fr"; x-sender="Christine.Tasson@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@potemkin.univ-paris7.fr) identity=helo; client-ip=194.254.61.141; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christine.Tasson@pps.univ-paris-diderot.fr"; x-sender="postmaster@potemkin.univ-paris7.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgCANXTy1HC/j2NnGdsb2JhbABbgzq/SwN+Fg4BAQEBAQgLCQkUKII2JgEFGxUQPRYYAwIBAgFYCAKIDgiZYqAyjh4DQYRdA5huhHiGAog1gWc X-IPAS-Result: AmgCANXTy1HC/j2NnGdsb2JhbABbgzq/SwN+Fg4BAQEBAQgLCQkUKII2JgEFGxUQPRYYAwIBAgFYCAKIDgiZYqAyjh4DQYRdA5huhHiGAog1gWc X-IronPort-AV: E=Sophos;i="4.87,949,1363129200"; d="scan'208";a="23563116" Received: from potemkin.univ-paris7.fr ([194.254.61.141]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 27 Jun 2013 08:02:08 +0200 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/38117) with ESMTP id r5R61ZI7002875; Thu, 27 Jun 2013 08:01:35 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 82C624F13F; Thu, 27 Jun 2013 08:01:35 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id qR58AXHbKhnd; Thu, 27 Jun 2013 08:01:34 +0200 (CEST) Received: from [192.168.1.24] (mna75-3-82-66-228-6.fbx.proxad.net [82.66.228.6]) (Authenticated sender: tasson) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 893A34F13D; Thu, 27 Jun 2013 08:01:33 +0200 (CEST) Message-ID: <51CBD538.2090307@pps.univ-paris-diderot.fr> Date: Thu, 27 Jun 2013 08:01:28 +0200 From: Christine Tasson User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.16) Gecko/20121215 Icedove/3.0.11 MIME-Version: 1.0 To: christine.tasson@pps.univ-paris-diderot.fr Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Thu, 27 Jun 2013 08:01:35 +0200 (CEST) X-Validation-by: tasson@pps.jussieu.fr Subject: [Caml-list] =?ISO-8859-1?Q?JFLA_2014_-_Appel_=E0_communication?= * Merci de faire circuler : premier appel à communication * JFLA'2014 (http://jfla.inria.fr/2014/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA, à Fréjus - Var, du 8 janvier au 11 janvier 2014 Dates importantes -------------------------------- 1er octobre 2013 : Date limite de soumission 1er novembre 2013 : Notification aux auteurs 22 novembre 2013 : Remise des articles définitifs 10 décembre 2013 : Date limite d'inscription aux journées 8 janvier au 11 janvier 2014 : Journées ---------------------------------------------------------------------------------------------------------------------- Les JFLA réunissent concepteurs, utilisateurs et théoriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets mathématiques qui sous-tendent ces outils. Ces domaines doivent être pris au sens large : nous souhaitons avant tout favoriser les ponts entre les différentes thématiques : . Langages fonctionnels et applicatifs : sémantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : implémentation, nouvelles tactiques, développements présentant un intérêt technique ou méthodologique. . Logique, correspondance de Curry-Howard, réalisabilité, extraction de programmes, modèles. . Spécification, prototypage, développements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des méthodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont acceptés, trois 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 ! Nous accepterons cette année deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontiers des travaux en cours (pour lesquels l'aspect recherche n'est pas entièrement terminé) ; dans tous les cas, la forme de l'article devra être soignée. Les articles sélectionnés seront publiés dans les actes de la conférence, les auteurs seront invités à faire une présentation en vingt-cinq minutes lors des journées. . proposition d'exposé court (dix minutes) pour décrire un prototype, faire la démonstration d'un outil, reparler d'un article déjà publié, rechercher de l'aide pour résoudre un problème particulier. Dans ce cas, nous vous demandons seulement de soumettre un résumé de deux à trois pages, qui nous permettra de sélectionner les orateurs en cas de forte affluence. Comité de programme -------------------------------------- Christine Tasson, Présidente (Université Paris Diderot) David Baelde, Vice-président (ÉNS Cachan) Jade Alglave (University College of London) Zaynah Dargaye (CEA LIST) Jean-Christophe Filliâtre (CNRS -- Université Paris Sud) Pascal Fradet (INRIA-Rhones Alpes) Jacques Garrigue (Nagoya University) Barbara Petit (INRIA-Rhones Alpes) Sylvain Pradalier (Dassault Systèmes) Julien Signoles (CEA LIST) Matthieu Sozeau (INRIA Paris--Rocquencourt) Soumission ------------------- Date limite de soumission : 1er octobre 2013 Les soumissions doivent être déposées sur Easychair, à l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla2014 Elles peuvent être rédigées en anglais. Elles sont limitées à 15 pages A4 et le style LaTeX est imposé : http://jfla.inria.fr/2014/actes.sty