From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id C13705D5 for ; Fri, 9 Jul 2021 10:15:45 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,226,1620684000"; d="asc'?scan'208";a="519135810" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Jul 2021 12:15:44 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 1CF34E0038; Fri, 9 Jul 2021 12:15:44 +0200 (CEST) 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 675F8E0036 for ; Fri, 9 Jul 2021 12:15:37 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=timothybourke@gmail.com; spf=Pass smtp.mailfrom=timothybourke@gmail.com; spf=None smtp.helo=postmaster@mail-wm1-f48.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AnGS98hc/pN9yXQbA7gFWm789lGM+It7LVj580XL?= =?us-ascii?q?Ho4xHfqnrxZn+JkuXvawr0AWRG92GoK8aw6qO6ua8AD1Guc7A+Fk5M7V0Hycfj?= =?us-ascii?q?ssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd?= =?us-ascii?q?6KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAuqoQnLqsUbgYRuJ6YwxxDUpndEZ?= =?us-ascii?q?/layXlnKF6Omxvw/Nu88IJm/y9Np/8v6slMXLngca8lV7JYFjMmM2405M3vqxb?= =?us-ascii?q?OSBaE62UfXGsLjBdGGhDJ4x7mUJj/tCv6rfd91zKBPcLqV7A0WC+t4LltRRT1l?= =?us-ascii?q?SoILT858GXQisxtkKJWpQ+qqhJjz4LIZoyeKfxzdb7fc9wHX2pMRsZfWSJfDI2?= =?us-ascii?q?hbIUAAPYOMvtDoonyu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzIwg0gH9cJs?= =?us-ascii?q?HTIrNX0NLoZXP2yzKnV1zXDbO1Z0ir65YjUcxAhpPaMXa5wccvR0kYvEB7Fjk+?= =?us-ascii?q?TqYP7JD6V2eENvHKa7+pkT+6gl2knqwRorzWp28wjhZXHiJgPxVDY6SV23pw1J?= =?us-ascii?q?dugRUB0fNOpFJ9dujyVOYdqX88vQn9ktiYmx7MJuZC1cygExZUoyRPedvGKb4q?= =?us-ascii?q?F7x3sWeieLjp2hG5odry+ihuw/katzPD3WMez0FZPtCVFk9/Mu2gM1xzV8MiHS?= =?us-ascii?q?+Fy8l2v2TaVzwzc9PtLIVs0lKXHK54u2L8wloAJvUTEBC/2l0P7h7KVeEU84uW?= =?us-ascii?q?k9fjrb7H8qpKfN4J4kBzyProtl8ClDuk1MRACU3WF9em4zrHv4En0TbFQgvAyk?= =?us-ascii?q?KTVqo3WKMQaq6O/HgRbyJws6wylADejyNkYnWcILFZCeB+fiojmIVDOIPThAfa?= =?us-ascii?q?xhlSgjS5nx/7JM7DiGJnNIX/DkLDufbZ59UFQ0hY8zdda555MC7EBJuz8WlPpu?= =?us-ascii?q?dDGEhM0Nxa4zuXnBdlny48SR2GCDrWWPa7RqVOI4/ggI+iIZI8bojb9LP0l6ub?= =?us-ascii?q?yjX84nF8derWp3ZsXaX+jGfRmPl+ZYXnyjdoaHmcKuxAxTO3uiFGYTTFTYHOyU?= =?us-ascii?q?7om5j4nEIKmEZvDRoe1jbOdxii7G5lWanlCClCNCnfoa56JW+wMaSKXOs9uiCY?= =?us-ascii?q?IVbmnS4871BGhrhX2y7R9LrmcxipNvpvm0J1x5vbPvRA07z19ScqHgE+XSGQho?= =?us-ascii?q?mINQCM2zehVplFnyVrLhbR5hvtEFc1Z4O5TUQoSOpvVzug8ANf3DFGSNuyVQUq?= =?us-ascii?q?rF431SQo6Scg8lodmi6dVHtyjilXc2nPvDeNF0bOMA5Mw/+TX2H2jf66VJF7J0?= =?us-ascii?q?aAgix8tRc4dbAVOY4Zw8gHSA8jClEDLz86X?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ar/tQEKphWVd8BOw2CwiQot0aV5ryeYIsimQD?= =?us-ascii?q?101hICG9E/b1qynKpp8mPHDP5wr5J0tPpTntAsi9qFnnlaKdmLNhXotKBTOW2l?= =?us-ascii?q?dAT7sSiLcKvQeQfxEWrdQtspuIGpIWYOEYa2IK6/oSizPULz9P+rO6GFTDv5am?= =?us-ascii?q?854Ud3ATV0nqhD0JcTpymCZNNXN77SNTLuvg2vZ6?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AxAgCfIOhgfzCAVdFahgRXa4QKPokEi?= =?us-ascii?q?F6dVQsBAwEIAwEBNQoCBAEBh00CHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQs?= =?us-ascii?q?LCCcchWgNgjgig34GCwYdARsMEgMSA0QCJQkIAQUBAVaCUIJUAQMvD4sTjxeBB?= =?us-ascii?q?D2LMoEVBQEXgQGCCAaFAAoZKA1jA4FXAgcJAQgRgReBU4JUgU+HdCccgUlEgRW?= =?us-ascii?q?DY4EEgV4DARiEXYJkBIRQAQEiSwS+alqCVIEzC4huk2lFEIUakASRGZ92gjiTT?= =?us-ascii?q?RWEcAYBAQEQECMSgT6BfTMaI4M5CUcZDpIPgT6DVoVJAz8yAjYCBgEJAQEDCVY?= =?us-ascii?q?IAR0TCwGKZgEB?= X-IPAS-Result: =?us-ascii?q?A0AxAgCfIOhgfzCAVdFahgRXa4QKPokEiF6dVQsBAwEIAwE?= =?us-ascii?q?BNQoCBAEBh00CHQcBBDQTAgQVAQEFAQEBAgEDAwQBEwEBDQsLCCcchWgNgjgig?= =?us-ascii?q?34GCwYdARsMEgMSA0QCJQkIAQUBAVaCUIJUAQMvD4sTjxeBBD2LMoEVBQEXgQG?= =?us-ascii?q?CCAaFAAoZKA1jA4FXAgcJAQgRgReBU4JUgU+HdCccgUlEgRWDY4EEgV4DARiEX?= =?us-ascii?q?YJkBIRQAQEiSwS+alqCVIEzC4huk2lFEIUakASRGZ92gjiTTRWEcAYBAQEQECM?= =?us-ascii?q?SgT6BfTMaI4M5CUcZDpIPgT6DVoVJAz8yAjYCBgEJAQEDCVYIAR0TCwGKZgEB?= X-IronPort-AV: E=Sophos;i="5.84,226,1620684000"; d="asc'?scan'208";a="519135731" X-MGA-submission: =?us-ascii?q?MDFE61bhqXYrorXR94BA9xSkLcGzICQwZxhB8P?= =?us-ascii?q?ExuMlx7h2SuEYU35L8sg/WKBdQUdsr1J1arqVqObN98mcBf7jp2fpz7Q?= =?us-ascii?q?mALwOuCDbsPlrZgSQ5CTADrvEyAq6JOKgxHYWqy3G401sXOHsouRolGW?= =?us-ascii?q?yf1AFzydFWT+IYA1qbfWVlvg=3D=3D?= Received: from mail-wm1-f48.google.com ([209.85.128.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Jul 2021 12:15:36 +0200 Received: by mail-wm1-f48.google.com with SMTP id l18-20020a1ced120000b029014c1adff1edso8731109wmh.4 for ; Fri, 09 Jul 2021 03:15:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:date:to:subject:message-id:mail-followup-to:mime-version :content-disposition; bh=x0mRY3/XyE9pWTsD8ehbwIueVXZAl565l/c96nV8u8I=; b=jsSDnAhAkJfN5bXsPDgZbYZGaJtxBeNpugZnFs1D6XBZO44KnnBlIRhVqTyLaE7WdL pNn689NosLBv/wm3Sq4HV5XY5FbW3Meha/ISLuw9yFzaQmF9R38Fkfb7es/IDTUG7edZ /GwCltYxyE1O/wW8YBFCh16P9Wxpc2WwmbIAVEWyBZ/3OKEHf0GvklPlGfbT4Pwst5/6 R0AUQYA2qaV242WuOVN5otA8uGJCpBFvb9eexfoZsvH2ombRodS+OKq4SrqoLoFlMafR y91smAHxDj0f/+6UUQG/+9KueQC66TuARrzC2dhW5Fm5P66pV3ZP/t+1pMI96mOxZEFK bwvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:date:to:subject:message-id:mail-followup-to :mime-version:content-disposition; bh=x0mRY3/XyE9pWTsD8ehbwIueVXZAl565l/c96nV8u8I=; b=Lkv8+I4hOR/SfkODd/MxIY0agJ3XPJztKMJ4fyJW3O5F7rwRkKumRl5Rg6UV+ZTUis CaTIEOq49MIG3xoB4fkdJFPOZcgWCDdVR61LedmQsaFnDPdTAZsdB1MbcCV+7jMvAyaG ra2tlhrd/JWQX3SujI6OLi9HE0Y00Urd4+A8sbpUrdYz3ywJjj6P8lSKl0bPQ8mx8vpb /ekwxZsgkbK28lXUDzB+O4ZA1uOq1bOZReK9JbmeORqrLxy1zQzaW75Ca4VI4DVMMCRV +1oLT38dUMYCmvBnkkJgL6LUjT5rNPLw2lQH5tJlxHWM7toLVL4jDj8lBC+1wAWFLNIu ghTA== X-Gm-Message-State: AOAM5319nVv6WP9SLj5OQL31n0fb662JyX/FV1cdSsMn900cztbvj4Ev bRkX4k0Kpxr+MO5tw6XiyXK9GOAsdXc= X-Google-Smtp-Source: ABdhPJxCLAGt9KiiMBZKcShkdhw53fATkKiPXiyNBUkbcb+aOZ5GeC1yQDOtilWqF9h/mvD9Z8G5Gw== X-Received: by 2002:a05:600c:b47:: with SMTP id k7mr1260242wmr.155.1625825735716; Fri, 09 Jul 2021 03:15:35 -0700 (PDT) Received: from mocuter (dhcp156.dmi.ens.fr. [129.199.97.156]) by smtp.gmail.com with ESMTPSA id s8sm4274720wmh.36.2021.07.09.03.15.34 for (version=TLS1_2 cipher=ECDHE-ECDSA-CHACHA20-POLY1305 bits=256/256); Fri, 09 Jul 2021 03:15:35 -0700 (PDT) From: Timothy Bourke X-Google-Original-From: Timothy Bourke Received: by mocuter (Postfix, from userid 17237) id BF13118018A0; Fri, 9 Jul 2021 12:15:34 +0200 (CEST) Date: Fri, 9 Jul 2021 12:15:34 +0200 To: caml-list@inria.fr Message-ID: <20210709101534.u42x34v2f4q52tfp@MP693-PRO> Mail-Followup-To: caml-list@inria.fr X-PGP-Key: http://www.tbrk.org/pubkey.txt MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="udfoc3tfcgrccfvq" Content-Disposition: inline Subject: [Caml-list] JFLA 2022: Call for papers (in French) Reply-To: Timothy Bourke X-Loop: caml-list@inria.fr X-Sequence: 18540 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --udfoc3tfcgrccfvq Content-Type: text/plain; charset=utf-8; format=flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable [ This message is intentionally written in French. It is a call for papers for the "Francophone Days on Functional=20 Languages" to be held in February next year. Article and tutorial=20 submissions in English are possible, but the presentation must be in=20 French. ] - Merci de faire circuler : premier appel =C3=A0 communications - JFLA'2022 http://jfla.inria.fr/jfla2022.html Journ=C3=A9es Francophones des Langages Applicatifs 2 f=C3=A9vrier au 5 f=C3=A9vrier 2022 Domaine d'Essendi=C3=A9ras (P=C3=A9rigord) Les 33-i=C3=A8mes Journ=C3=A9es Francophones des Langages Applicatifs (JFLA= ) se=20 tiendront dans le P=C3=A9rigord, =C3=A0 Saint M=C3=A9dard d=E2=80=99Excideu= il, au coeur du=20 Domaine d'Essendi=C3=A9ras, du mercredi 2 f=C3=A9vrier 2022 au samedi 5 f= =C3=A9vrier=20 2022. Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; el= les=20 ont pour ambition de couvrir les domaines des langages applicatifs, de=20 la preuve formelle, de la v=C3=A9rification de programmes, et des objets=20 math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AA= tre=20 pris au sens large : nous souhaitons promouvoir les ponts entre les=20 diff=C3=A9rentes th=C3=A9matiques. - Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation,=20 optimisation, typage, mesures, extensions par d'autres paradigmes. - Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques,=20 d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt technique ou m= =C3=A9thodologique. - Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, extract= ion=20 de programmes, mod=C3=A8les. - Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'algorithme= s. - V=C3=A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3=A9d= uctive,=20 interpr=C3=A9tation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs,=20 ou des m=C3=A9thodes issues des preuves formelles, outils pour le web. Les articles soumis aux JFLA sont relus par au moins deux personnes=20 s'ils sont accept=C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les crit= iques=20 des relecteurs sont toujours bienveillantes et la plupart du temps=20 encourageantes et constructives, m=C3=AAme en cas de rejet. Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! * Dates importantes Soumission des r=C3=A9sum=C3=A9s 1er octobre 2021 Soumission des articles 8 octobre 2021 Notification aux auteurs 9 novembre 2021 Version finale 7 d=C3=A9cembre 2021 Cl=C3=B4ture des inscriptions 7 janvier 2022 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (bibliographie incluse),=20 portant sur des travaux originaux. Nous acceptons des travaux en=20 cours, pour lesquels l'aspect recherche n'est pas enti=C3=A8rement=20 finalis=C3=A9. Nous encourageons aussi la soumission de "perles", ces=20 articles pr=C3=A9sentant avec =C3=A9l=C3=A9gance un r=C3=A9sultat connu = sous un angle=20 nouveau. - Article court de huit pages au plus (bibliographie incluse) pour=20 rechercher de l'aide pour r=C3=A9soudre un probl=C3=A8me particulier ou = pour=20 reparler d'un papier d=C3=A9j=C3=A0 publi=C3=A9. - Proposition de tutoriel d'une page exposant son int=C3=A9r=C3=AAt et ses= =20 objectifs ainsi que l'environnement informatique n=C3=A9cessaire =C3=A0 = sa=20 r=C3=A9alisation. - Proposition de d=C3=A9monstration d'un outil ou d'un prototype de deux=20 pages d=C3=A9crivant pourquoi ce logiciel est int=C3=A9ressant ainsi que= ses=20 sp=C3=A9cificit=C3=A9s. Dans tous les cas, la forme de l'article devra =C3=AAtre soign=C3=A9e. Les= =20 articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la co= nf=C3=A9rence,=20 et les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors = des=20 journ=C3=A9es, de vingt-cinq minutes pour les articles longs et de quinze= =20 minutes pour les courts. Les tutoriels auront un cr=C3=A9neau de vingt-cinq= =20 minutes et les d=C3=A9monstrations d'outils ou de prototypes se verront=20 allouer quinze minutes. L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la pr=C3= =A9sentation=20 devra =C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le ca= s o=C3=B9 il s'agit=20 d'une republication au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9= , la=20 publication doit =C3=AAtre en fran=C3=A7ais et la publication originale en= =20 anglais. Le style LaTeX Easychair doit =C3=AAtre respect=C3=A9 : https://easychair.org/publications/for_authors Les soumissions se font sur la page Easychair des JFLA : https://easychair.org/conferences/?conf=3Djfla22 -- Chantal Keller et Timothy Bourke --udfoc3tfcgrccfvq Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAmDoIcYACgkQHQga2C8a 1131pQgAwRApran6RyVqRksce5SQWPb196AD0FOMgJbsFTELxz5V7Mbh4Ijas0Pz hSglcCOOf/27pgvmX3iUSE01jw/CmuHQW71czpF3kjRO7x5yoWFy+TxtvWq5cLFk KWfuFKRouGx7qNG5nnGwWIuYrYNRO0kKeLvj2RpXtB5rX13FX1jjKGki+rQZDBHa piaHI6XrKGEv0/lzYTMxt+ml2clpGwJ/gMsyQ3sF542C4muRUruR495G5+FBslze XJJopCfbbu3O2Q/lNaujJGZ9JrGO7R3P2EJucmFom6NyeccblC8vvcHaGuBGiuDq mRDGLRbXHFomCw58GuMcz0Pd45qMGw== =wNjX -----END PGP SIGNATURE----- --udfoc3tfcgrccfvq--