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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 453DE7FACB for ; Tue, 2 Sep 2014 23:06:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of david.baelde@lsv.ens-cachan.fr) identity=pra; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="david.baelde@lsv.ens-cachan.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of david.baelde@lsv.ens-cachan.fr designates 138.231.176.54 as permitted sender) identity=mailfrom; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="david.baelde@lsv.ens-cachan.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@ariane2.ens-cachan.fr designates 138.231.176.54 as permitted sender) identity=helo; client-ip=138.231.176.54; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="david.baelde@lsv.ens-cachan.fr"; x-sender="postmaster@ariane2.ens-cachan.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkACAFwwBlSK57A2nGdsb2JhbABaDoNSVwG2ZJE5CoFdhwMWEAEBAQEBCAsJCRQphBYmATVNNAUoEBKIVAQJvHsYGIwGgUaBEgODEw9EJIEdBYYUjB6DLYZ8gVyND4RHhQxEagGBBoFIAQEB X-IPAS-Result: AkACAFwwBlSK57A2nGdsb2JhbABaDoNSVwG2ZJE5CoFdhwMWEAEBAQEBCAsJCRQphBYmATVNNAUoEBKIVAQJvHsYGIwGgUaBEgODEw9EJIEdBYYUjB6DLYZ8gVyND4RHhQxEagGBBoFIAQEB X-IronPort-AV: E=Sophos;i="5.04,451,1406584800"; d="scan'208";a="77523483" Received: from ariane2.ens-cachan.fr ([138.231.176.54]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 02 Sep 2014 23:06:05 +0200 Received: from localhost (localhost [127.0.0.1]) by ariane2.ens-cachan.fr (Postfix) with ESMTP id 16E1D141BBB; Tue, 2 Sep 2014 23:06:04 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at ens-cachan.fr Received: from ariane2.ens-cachan.fr ([127.0.0.1]) by localhost (ariane2.ens-cachan.fr [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id nLfKS0N0_tKl; Tue, 2 Sep 2014 23:06:03 +0200 (CEST) Received: from olive.lsv.ens-cachan.fr (olive.lsv.ens-cachan.fr [138.231.81.248]) by ariane2.ens-cachan.fr (Postfix) with ESMTP id CF705141BAD; Tue, 2 Sep 2014 23:06:00 +0200 (CEST) Received: from lavvu (191-111-190-109.dsl.ovh.fr [109.190.111.191]) by olive.lsv.ens-cachan.fr (Postfix) with ESMTP id 695A54C01A7; Tue, 2 Sep 2014 23:06:00 +0200 (CEST) Date: Tue, 2 Sep 2014 23:05:54 +0200 From: David Baelde To: gdr-im@gdr-im.fr, gdr.gpl@imag.fr, types-announce@lists.seas.upenn.edu, caml-list@inria.fr Message-ID: <20140902210554.GA4284@lavvu> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.5.21 (2010-09-15) X-Validation-by: baelde@lsv.ens-cachan.fr Subject: [Caml-list] =?ISO-8859-1?Q?JFLA_2015_=3A_deuxi=E8me_appel_=E0_com?= =?ISO-8859-1?Q?munications?= * Merci de faire circuler : deuxième appel à communication * JFLA 2015 (http://jfla.inria.fr/2015/) Journées Francophones des Langages Applicatifs Organisées par Inria au Val d'Ajol (Vosges) du 7 au 10 janvier 2015 Dates importantes ----------------- 26 septembre 2014 : date limite de soumission des résumés 3 octobre 2014 : date limite de soumission des papiers 3 novembre 2014 : notification aux auteurs 30 novembre 2014 : clôture des inscriptions 1er décembre 2014 : remise des articles définitifs 7 au 10 janvier 2015 : 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 promouvoir 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. Enfin, un soutien financier pourra être apporté à certains étudiants pour faciliter leur venue. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Cours et exposés invités ------------------------ . Stephan Merz (Inria Nancy & LORIA) : Vérification d'algorithmes distribués . Manuel Serrano (Inria Sophia-Antipolis) : Programmation web en Hop . Alastair Donaldson (Imperial College London) : Verification techniques for GPU kernels . Marco Gaboardi (University of Dundee) : Differential privacy Comité de programme ------------------- David Baelde LSV, ENS Cachan (Président) Jade Alglave UCL (Vice-présidente) Maria-Virginia Aponte CNAM Sylvie Boldo Inria, LRI Pierre Clairambault ENS Lyon Delphine Demange IRISA, Université de Rennes 1 Kim Nguyen LRI, Université Paris-Sud 11 Florence Plateau Prove & Run Christophe Raffalli LAMA, Université de Savoie Julien Signoles CEA LIST Pierre-Yves Strub IMDEA Software Institute Jules Villard Imperial College London Soumission ---------- Nous acceptons 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é) tout particulièrement s'il s'agit de jeunes chercheurs. 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. . 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. Date limite de soumission des résumés : 26 septembre 2014 Date limite de soumission des articles : 3 octobre 2014 Les soumissions doivent être déposées sur Easychair, à l'adresse suivante : https://www.easychair.org/conferences/?conf=jfla15 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/2015/actes.sty