From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Authentication-Results: plum.tunbury.org; dkim=pass (1024-bit key; unprotected) header.d=inria.fr header.i=@inria.fr header.a=rsa-sha256 header.s=dc header.b=SAF1rWs7; dkim-atps=neutral Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=192.134.164.83; helo=mail2-relais-roc.national.inria.fr; envelope-from=caml-list-owner@inria.fr; receiver=tunbury.org Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by plum.tunbury.org (Postfix) with ESMTP id 9317B4009A for ; Wed, 5 Aug 2026 09:11:41 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=from:content-transfer-encoding:mime-version:date: message-id:cc:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=qhLsKUvB/xg4CFgIaGf7eq3XwRmNcu0bzrij+dSww74=; b=SAF1rWs7kDhvsYItHzPhRRzJpFrJxZbzWcXMvwM5jEoRGhAuFF64cRVc zJQWidxwqeZToRCS0N2nJ5C9yUw0doPYUqxoNaUvp/UTiPTScR8kr+wkI Ik2LvY/DH9o8MpvmVl8qcMnpt1ozD0157GvlrxsoLa9DlQO14RNxqnqDq A=; X-CSE-ConnectionGUID: +8EVCxbjQv6Ut/C1+xf6iw== X-CSE-MsgGUID: KLy5ynPmREusni7I8dCX7g== Authentication-Results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=caml-list-owner@inria.fr; spf=None smtp.helo=postmaster@prod-sympa-app.inria.fr Received-SPF: SoftFail (mail2-relais-roc.national.inria.fr: domain of caml-list-owner@inria.fr is inclined to not designate 128.93.162.27 as permitted sender) identity=mailfrom; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="caml-list-owner@inria.fr"; x-conformance=spf_only; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:128.93.142.0/24 ip4:192.134.164.0/24 ip4:128.93.162.160 ip4:128.93.162.3 ip4:128.93.162.88 ip4:89.107.174.7 mx ~all" Received-SPF: None (mail2-relais-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@prod-sympa-app.inria.fr) identity=helo; client-ip=128.93.162.27; receiver=mail2-relais-roc.national.inria.fr; envelope-from="caml-list-owner@inria.fr"; x-sender="postmaster@prod-sympa-app.inria.fr"; x-conformance=spf_only X-IronPort-AV: E=Sophos;i="6.25,206,1779141600"; d="scan'208";a="289166228" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Aug 2026 11:11:41 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id 6A00881907; Wed, 5 Aug 2026 11:11:41 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id E80AF8128A for ; Wed, 5 Aug 2026 11:10:12 +0200 (CEST) X-CSE-ConnectionGUID: QLwV6FFHTv6P3uxQcAbP5w== X-CSE-MsgGUID: 6n23WI9FS/uLJgUqUz3s+Q== X-IronPort-AV: E=Sophos;i="6.25,206,1779141600"; d="scan'208";a="289165969" Received: from wifi-pro-82-152.paris.inria.fr (HELO smtpclient.apple) ([128.93.82.152]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 05 Aug 2026 11:10:13 +0200 From: Yannick Zakowski Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81.1.8\)) Date: Wed, 5 Aug 2026 11:10:02 +0200 Message-Id: <15465CD4-F10F-4762-99DA-12DB8B99DFB0@inria.fr> Cc: Stefania Dumbrava X-Mailer: Apple Mail (2.3826.700.81.1.8) X-Validation-by: yannick.zakowski@inria.fr Subject: [Caml-list] JFLA2026 : Premier appel =?UTF-8?Q?=C3=A0?= communications Reply-To: Yannick Zakowski X-Loop: caml-list@inria.fr X-Sequence: 19561 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: This message is intentionally written in French. It is a call for papers = for the =E2=80=9CFrancophone Days on Functional Languages=E2=80=9D to be held at = the end of January 2027 in Britany. Papers can be written in English, but the presentations themselves are expected to be given in French. Merci de faire circuler : premier appel =C3=A0 communications JFLA 2027 : Journ=C3=A9es Francophones des Langages Applicatifs http://jfla.eu/jfla2027.html 26 janvier au 29 janvier 2027 Maison Saint-Fran=C3=A7ois Les 38=C3=A8mes Journ=C3=A9es Francophones des Langages Applicatifs = (JFLA) se tiendront en Bretagne, =C3=A0 Dinard (Ille-et-Vilaine), du mardi 26 janvier 2027 = au vendredi 29 janvier 2027. Les JFLA r=C3=A9unissent concepteur=C2=B7rices, utilisateur=C2=B7rices = et th=C3=A9oricien=C2=B7nes ; elles ont pour ambition de couvrir les domaines des langages = applicatifs, de la preuve formelle, de la v=C3=A9rification de programmes, et des objets = math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AAtre pris au sens = large : nous souhaitons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matique= s. - Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation, = optimisation, typage, extensions =C3=A0 d'autres paradigmes. - Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques, = d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt th=C3=A9orique, technique ou = m=C3=A9thodologique. - Logique, correspondance preuve-programme, r=C3=A9alisabilit=C3=A9, = extraction de programmes, mod=C3=A8les. - Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels = d'algorithmes. - V=C3=A9rification de programmes ou de mod=C3=A8les, v=C3=A9rification = d=C3=A9ductive, interpr=C3=A9tation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, ou des m=C3=A9thodes issues de la communaut=C3=A9 scientifique. Outils = et plateformes pour le web. - Enseignement ou diffusion des langages fonctionnels et applicatifs. Environnements et m=C3=A9thodes de d=C3=A9veloppement, = retours d'exp=C3=A9rience. Les articles soumis aux JFLA sont relus par au moins deux personnes = s'ils sont accept=C3=A9s, et au moins trois personnes s'ils sont rejet=C3=A9s. Les = critiques du comit=C3=A9 de programme sont toujours bienveillantes et la plupart du = temps 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 /!\ Attention : les dates limites sont fermes et d=C3=A9finitives. Il n'y aura pas d'extension. /!\ - Soumission des r=C3=A9sum=C3=A9s et articles : 16 octobre 2026, GMT+2 - Notification aux auteurs et autrices : 2 d=C3=A9cembre 2026, GMT+2 - Version finale des articles : 16 d=C3=A9cembre 2026, GMT+2 SOUMISSIONS Nous acceptons deux types de soumissions : - Article de recherche (18 pages max.) portant sur des travaux = originaux. Nous acceptons des travaux en cours, pour lesquels l'aspect recherche n'est = pas enti=C3=A8rement finalis=C3=A9. Nous encourageons aussi la soumission = d'articles pr=C3=A9sentant avec =C3=A9l=C3=A9gance un r=C3=A9sultat connu sous un = angle nouveau. - Article court (9 pages max.) d=C3=A9crivant un probl=C3=A8me = particulier, les pistes en cours d'investigation, et visant =C3=A0 rechercher de l'aide de la = part de la communaut=C3=A9. Les articles courts peuvent =C3=A9galement pr=C3=A9sent= er de mani=C3=A8re synth=C3=A9tique et coh=C3=A9rente des r=C3=A9sultats d=C3=A9j=C3=A0 = publi=C3=A9s. Enfin, ils peuvent pr=C3=A9senter un outil logiciel dont l'expos=C3=A9 constituera une = d=C3=A9monstration. CONSIGNES AUX AUTEURS ET AUTRICES Les articles peuvent =C3=AAtre r=C3=A9dig=C3=A9s en fran=C3=A7ais ou en = anglais. La forme de l'article doit =C3=AAtre soign=C3=A9e, et le contenu = r=C3=A9dig=C3=A9 de mani=C3=A8re structur=C3=A9e et claire. Le style LaTeX jflart doit imp=C3=A9rativement =C3=AAtre utilis=C3=A9 = sans modification de la mise en page. Le style LaTeX et sa documentation sont disponibles depuis = le site web de la conf=C3=A9rence. Les limites de pages sont strictes. Les r=C3=A9f=C3=A9rences = bibliographiques ne sont pas comptabilis=C3=A9es dans la limite de pages. Les annexes aux articles ne = sont pas autoris=C3=A9es. Les auteurs et autrices peuvent soumettre du mat=C3=A9riel = suppl=C3=A9mentaire, s=C3=A9par=C3=A9 de l'article soumis, sous forme de texte (version longue, sans limite de = pages) et/ou de d=C3=A9veloppement logiciel. L'=C3=A9valuation de ce mat=C3=A9rie= l suppl=C3=A9mentaire est =C3=A0 la discr=C3=A9tion du comit=C3=A9 de programme. Les articles = soumis doivent donc =C3=AAtre auto-contenus et =C3=A9valuables sans ce mat=C3=A9riel suppl=C3=A9mentaire= . Les soumissions parall=C3=A8les dans d'autres conf=C3=A9rences, journaux = ou workshops avec actes ne sont pas autoris=C3=A9es. Les membres du comit=C3=A9 de programme sont autoris=C3=A9s =C3=A0 = soumettre un article. Les pr=C3=A9sidentes du comit=C3=A9 ne le sont pas. Les articles doivent =C3=AAtre soumis via le site : https://types-hotcrp.paris.inria.fr/jfla27 L'=C3=A9valuation des articles suit un processus en simple-aveugle : les = rapports des articles sont anonymes, mais pas les auteurs et autrices. Les articles accept=C3=A9s seront publi=C3=A9s dans les actes de la = conf=C3=A9rence, sur HAL, et les auteurs et autrices en donneront une pr=C3=A9sentation lors des = journ=C3=A9es. Les pr=C3=A9sentations seront, de pr=C3=A9f=C3=A9rence, donn=C3=A9es en = fran=C3=A7ais. Yannick ZAKOWSKI et Stefania DUMBRAVA JFLA 2027