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 sympa.inria.fr (Postfix) with ESMTPS id 28D80E0131 for ; Wed, 14 Sep 2022 15:10:21 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:message-id:mime-version; bh=vyCECSP/dbO20KJTb7prTWCK83HgsolU/lqipkY5w4k=; b=nZIGW7L2y5Tw80sMaVRmwXTAMyFq01XiWpPXErw6S3cF07q62ANc+KGW uqRrEBT2Qgf54OCDbu6PKVIGs59NbWUiwBjcS1C33P8CmkAq8FiyiIEkl pdfNX5DdYeKdtt4VDrp8mZ8hgb43gaW6DTnyb6WdnMdMN5sB4S0/etzOY I=; Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=Timothy.Bourke@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="5.93,315,1654552800"; d="asc'?scan'208";a="52774168" Received: from cust-west-pareq2-46-193-42-130.wb.wifirst.net (HELO mocuter) ([46.193.42.130]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Sep 2022 15:10:21 +0200 Received: by mocuter (Postfix, from userid 17237) id B85663A3A43D; Wed, 14 Sep 2022 15:10:20 +0200 (CEST) Date: Wed, 14 Sep 2022 15:10:20 +0200 From: Timothy Bourke To: caml-list@inria.fr Cc: Delphine Demange Message-ID: <20220914131020.227tga73d5oddqvz@MP693-PRO> Mail-Followup-To: caml-list@inria.fr, Delphine Demange 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="nnkbledkcbejw77y" Content-Disposition: inline Subject: [Caml-list] CFP - JFLA 2023 - =?UTF-8?Q?Journ=C3=A9es?= Francophones des Langages Applicatifs --nnkbledkcbejw77y 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 Languages" to be held at the end of January 2023 in the French Alps. ] - Merci de faire circuler : premier appel =C3=A0 communications - JFLA'2023 http://jfla.inria.fr/jfla2023.html Journ=C3=A9es Francophones des Langages Applicatifs 31 janvier au 3 f=C3=A9vrier 2023 Praz-sur-Arly (Haute-Savoie) Les 34-i=C3=A8mes Journ=C3=A9es Francophones des Langages Applicatifs (JFLA= ) se=20 tiendront en Haute-Savoie, =C3=A0 Praz-sur-Arly, au coeur des Alpes, du=20 mardi 31 janvier 2023 au vendredi 3 f=C3=A9vrier 2023. 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 7 octobre 2022 Soumission des articles 14 octobre 2022 Notification aux auteurs 25 novembre 2022 Version finale 14 d=C3=A9cembre 2022 Cl=C3=B4ture des inscriptions 6 janvier 2023 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (hors bibliographie),=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 (hors bibliographie) 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. L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel= cas la=20 pr=C3=A9sentation devra =C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9a= nmoins, dans le cas=20 o=C3=B9 il s'agit d'une republication au format court d'un article d=C3=A9j= =C3=A0=20 publi=C3=A9, la publication doit =C3=AAtre en fran=C3=A7ais et la publicati= on=20 originale en 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=3Djfla2023 -- Timothy Bourke et Delphine Demange --nnkbledkcbejw77y Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCAAdFiEE3GWV8Ve1AMz4ZV8OHQga2C8a110FAmMh0rwACgkQHQga2C8a 110iRQgAo2ueUEyyeisCqkQpWxT1PToWlRlvvdEnLjNocRUUgU0o7IYHVnI8XYDD 2W/IEPTsbd+REAN2WsYsKJ4YMxfTB3ySeoPjMs+6KPaNriaZ8+6U79QmWw3uv/07 HS576uF02RFCHtsbi4hGPX+2VVOkmedt/i4FNmB0sRlPn/l2ZEc8R74C+rKpNSet blX2d4J47XuDc2bQGx+7+/5uEf28vNrrm57TQeox5Pqk4z/D1HCEnEQDg1uk8khD cNtOW3GdPZd22kLp722EG1tc2MLxpk5rcYX1XWmfLRJXIsVbwhSNUGC5o6Lj0GYi 7h02E9hBcXuV7bu3l2VIhTpMCtou0A== =/Ll3 -----END PGP SIGNATURE----- --nnkbledkcbejw77y--