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 240F85D5 for ; Wed, 8 Sep 2021 18:04:20 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="asc'?scan'208";a="527408360" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Sep 2021 20:04:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2F511E2E2E; Wed, 8 Sep 2021 20:04:16 +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 62658E2E2C for ; Wed, 8 Sep 2021 20:04:13 +0200 (CEST) IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AkxB7q6yaF6502E8bFuCEKrPwN71zdoMgy1kn?= =?us-ascii?q?xilNoDhuA6+lfqGV/MjzuiWftN98YhwdcLO7WZVoI0mzyXcd2+B4VotKNzOIhI?= =?us-ascii?q?LHFu1fBMfZsl/dJxE=3D?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="asc'?scan'208";a="527408334" Received: from 91-164-112-175.subs.proxad.net (HELO mocuter) ([91.164.112.175]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Sep 2021 20:04:12 +0200 Received: by mocuter (Postfix, from userid 17237) id 007FA1ABAC49; Wed, 8 Sep 2021 20:04:11 +0200 (CEST) Date: Wed, 8 Sep 2021 20:04:11 +0200 From: Timothy Bourke To: caml-list@inria.fr Message-ID: <20210908180411.n472ohbj42uji7c5@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="m4ouifbbnogjqu3t" 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: 18563 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: --m4ouifbbnogjqu3t 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 second call=20 for papers for the "Francophone Days on Functional Languages" to be=20 held in February next year. Original written submissions can be in=20 English, but the presentation or tutorial would have to be in French.=20 Don't be afraid to submit even if your French is not perfect! ] - Merci de faire circuler : deuxi=C3=A8me 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 --m4ouifbbnogjqu3t Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAmE4+xsACgkQHQga2C8a 11342wf/ReXrSYbzf0LuJmFIEUK+h+KqRGiUdkagEVsQenQyqsD3vbKXKsxaSAKC vooshEEzjpGnv+suj63pxci22NzgzjqfjzCTEC/hvDVcHi8Zv215gRm2qx/XsFQH 8pvIu3FXk/ejcOJMG02QeB5YLV/TXhxUdUw+9KqUMAovDHiuGWcZEnFxWb+mUkAm EH4Un9vS9i5jGdqyZcpNU6UjFqgxjaz8NWCbSQCHXXKOo4FDoqamRsR3m4I9t3fE kAghl19S18+O7RtQMJ7ZOJXP1qsdw+RDmkO2xHFykAePLEHCpanLvA6lHcKOVimT cQtcHrJbttMiVCOgjUO6QeF+IZDrmA== =tRST -----END PGP SIGNATURE----- --m4ouifbbnogjqu3t--