From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id A53C47ED7A for ; Mon, 10 Sep 2012 17:58:46 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of damien.pous@gmail.com) identity=pra; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="damien.pous@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of damien.pous@gmail.com designates 209.85.214.182 as permitted sender) identity=mailfrom; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="damien.pous@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f182.google.com) identity=helo; client-ip=209.85.214.182; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="postmaster@mail-ob0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYBAHsNTlDRVda2k2dsb2JhbABFuzsIIgEBAQEJCQsJFAQjgjMGAiwBEhUSAw0FEF0SAQUBIhMih1wDDwuZcoJhCQOPFoUdJw2JTQEFDIsHFQOGHgOVXYEUigSDJz6BVoIygVkI X-IronPort-AV: E=Sophos;i="4.80,398,1344204000"; d="scan'208";a="155236895" Received: from mail-ob0-f182.google.com ([209.85.214.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 10 Sep 2012 17:58:45 +0200 Received: by mail-ob0-f182.google.com with SMTP id un3so5514003obb.27 for ; Mon, 10 Sep 2012 08:58:45 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type:content-transfer-encoding; bh=ouYqOr3++dHoh3zHL6uSNMOHRvysdIq98ncFYsgL3M8=; b=EiSSPYSgbY0rmU5HYT0Vuc81Gc9/GS4jnSY6P55FItc8Ziy8vzOnpC7JNien81B533 R32bbzbBG+t7+wyw3OeDK2g9s9dzjqf0pMMQSeX/bSdMsAN3lowS/ijx+nmWdsA/5I6S vFdnB3Lf0jUajmW3HoLpykFICq32sdkoybY2YOnwHMQiCtwdwgPz5z45IADBDwbAJIvY UhZibQqa/Tyt/CgIed7BLu8pWtQ2cyWVMBw8YJq8T8WMvxmypmuAWojkGoRMvXalph2I Qs6/qKootku8qX92c0ZDYuDjoEaPrnCa9hPtEmYrlCBzipMbNCiy7x9H752bWfbE5ReI Hvow== MIME-Version: 1.0 Received: by 10.60.12.167 with SMTP id z7mr15103385oeb.121.1347292725633; Mon, 10 Sep 2012 08:58:45 -0700 (PDT) Sender: damien.pous@gmail.com Received: by 10.182.217.101 with HTTP; Mon, 10 Sep 2012 08:58:45 -0700 (PDT) Date: Mon, 10 Sep 2012 17:58:45 +0200 X-Google-Sender-Auth: hzIpcQvaQn7flrw01kDyrShyMO8 Message-ID: From: Damien Pous To: Damien Pous Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] =?ISO-8859-1?Q?Appel_=E0_communication=2C_JFLA_2013?= * Merci de faire circuler : second appel =E0 communication * * date limite de soumission : 12 octobre 2012 * JFLA'2013 (http://jfla.inria.fr/2013/) Journ=E9es Francophones des Langages Applicatifs Organis=E9es par l'INRIA, =E0 Aussois, du 3 f=E9vrier au 6 f=E9vrier 2013 Les JFLA r=E9unissent concepteurs, utilisateurs et th=E9oriciens ; elles ont pour ambition de couvrir les domaines des langages applicatifs, de la preuve formelle, et des objets math=E9matiques qui sous-tendent ces outils. Ces domaines doivent =EAtre pris au sens large : nous souhaitons avant tout favoriser les ponts entre les diff=E9rentes th=E9matiques : . Langages fonctionnels et applicatifs : s=E9mantique, compilation, optimisation, typage, mesures, extensions par d'autres paradigmes. . Assistants de preuve : impl=E9mentation, nouvelles tactiques, d=E9veloppements pr=E9sentant un int=E9r=EAt technique ou m=E9thodologiqu= e. . Logique, correspondance de Curry-Howard, r=E9alisabilit=E9, extraction de programmes, mod=E8les. . Sp=E9cification, prototypage, d=E9veloppements formels d'algorithmes. . Utilisation industrielle des langages fonctionnels et applicatifs, ou des m=E9thodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes s'ils sont accept=E9s, trois personnes s'ils sont rejet=E9s. Les critiques des relecteurs sont toujours bienveillantes et la plupart du temps encourageantes et constructives, m=EAme en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! Nous accepterons cette ann=E9e deux types de soumissions : . article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontier des travaux en cours (pour lesquels l'aspect recherche n'est pas enti=E8rement termin=E9) ; dans tous les cas, la forme de l'article devra =EAtre soign=E9e. Les articles s=E9lectionn=E9s seront publi=E9s dans les actes de la conf=E9rence, les auteurs seront invit=E9s =E0 faire une pr=E9sentation en vingt-cinq minutes lors des journ=E9es. . proposition d'expos=E9 court (dix minutes) pour d=E9crire prototype, faire une d=E9monstration d'un outil, reparler d'un article d=E9j=E0 publi=E9, rechercher de l'aide pour r=E9soudre un probl=E8me particulier. Dans ce cas, nous vous demandons seulement de soumettre un r=E9sum=E9 de deux =E0 trois pages, qui nous permettra de s=E9lectionner les orateurs en cas de forte affluence. Comit=E9 de programme ------------------- Damien Pous, Pr=E9sident (CNRS -- ENS Lyon) Christine Tasson, Vice pr=E9sidente (PPS -- Universit=E9 Paris Dide= rot) Jade Alglave (University of Oxford) David Baelde (ITU Copenhague) Pierre-Malo Deni=E9lou (Royal Holloway, University of London) Pascal Fradet (INRIA Rh=F4ne-Alpes) Samuel Mimram (CEA Saclay) Yann R=E9gis-Gianas (Universit=E9 Paris VII) Matthieu Sozeau (INRIA Paris -- Rocquencourt) Nicolas Tabareau (INRIA Nantes) Enrico Tassi (LIX -- =C9cole Polytechnique) Lionel Vaux (IML -- Universit=E9 de la M=E9diterran=E9e) Soumission ---------- Date limite de soumission : 12 octobre 2012 Les soumissions doivent =EAtre d=E9pos=E9es sur Easychair, =E0 l'adresse suivante : https://www.easychair.org/conferences/?conf=3Djfla2013 Elles peuvent =EAtre r=E9dig=E9es en anglais, mais elles sont limit=E9es = =E0 15 pages A4 et le style LaTeX est impos=E9 : http://jfla.inria.fr/2013/actes.sty Merci de signaler vos intentions de soumissions au plus t=F4t, par email au pr=E9sident du comit=E9 de programme. Dates importantes ----------------- 12 octobre 2012 : Date limite de soumission 16 novembre 2012 : Notification aux auteurs 7 d=E9cembre 2012 : Remise des articles d=E9finitifs 10 janvier 2013 : Date limite d'inscription aux journ=E9es 3 f=E9vrier au 6 f=E9vrier 2013 : Journ=E9es Pour tout renseignement d'ordre administratif, contacter -------------------------------------------------------- Dani=E8le Herzog INRIA Rh=F4ne-Alpes, Bureau des cours et colloques 655 Avenue de l'Europe, Montbonnot 38 334 St Ismier Cedex - France Tel : +33 (0)4 76 61 52 23 - Fax : +33 (0)4 56 52 71 90 email : colloques@inrialpes.fr http://jfla.inria.fr/2013/