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=hXbTcw7R; 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 77B3A40099 for ; Tue, 8 Sep 2026 15:01:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=mime-version:from:in-reply-to:date:cc:message-id: references:to:subject:reply-to:sender:list-id:list-help: list-subscribe:list-unsubscribe:list-post:list-owner: list-archive; bh=jJcZelXtiLEfdBriS4x7yrE65EmQU/tRF8/p43ZMQ6U=; b=hXbTcw7RoHTljZS0cM5pHYVj87mRootXi4BDZ7kAKr8f9+ySGgZ5Iq7c c+wsu6rra51HqTC+OkYZmjITANnAGDXZIqp7xPKV8aEd79mkgxgZqQAb9 R4Irf7aAjH68oW/oeeutULZSxfORrj4jR4KZGbVJ7qvWHMqbxbJ2LfPwB I=; X-CSE-ConnectionGUID: msDwDw3qT9Og+EHbKQly7w== X-CSE-MsgGUID: biham+2tR/mlJ4VdlcZtdw== 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,269,1779141600"; d="scan'208,217";a="293802436" Received: from prod-sympa-app.inria.fr ([128.93.162.27]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Sep 2026 17:01:22 +0200 Received: by prod-sympa-app.inria.fr (Postfix, from userid 990) id D0A0581861; Tue, 8 Sep 2026 17:01:21 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by prod-sympa-app.inria.fr (Postfix) with ESMTP id BE14981745 for ; Tue, 8 Sep 2026 16:59:02 +0200 (CEST) X-CSE-ConnectionGUID: NMHGGL0gTYC/gAAHiMlhSg== X-CSE-MsgGUID: lEGuP/QLT2+f072x9ootBQ== X-IronPort-AV: E=Sophos;i="6.25,269,1779141600"; d="scan'208,217";a="156270785" Received: from wifi-pro-82-152.paris.inria.fr (HELO smtpclient.apple) ([128.93.82.152]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 08 Sep 2026 16:59:03 +0200 Content-Type: multipart/alternative; boundary="Apple-Mail=_3274CA90-994D-424C-92D2-3BF2AD748636" Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.700.81.1.8\)) From: Yannick Zakowski In-Reply-To: <15465CD4-F10F-4762-99DA-12DB8B99DFB0@inria.fr> Date: Tue, 8 Sep 2026 16:58:51 +0200 Cc: Stefania Dumbrava Message-Id: <736FA9B8-4F80-4A3C-B4D6-86A633DCB03F@inria.fr> References: <15465CD4-F10F-4762-99DA-12DB8B99DFB0@inria.fr> To: Yannick Zakowski X-Mailer: Apple Mail (2.3826.700.81.1.8) X-Validation-by: yannick.zakowski@inria.fr Subject: [Caml-list] JFLA2027 : Second appel =?UTF-8?Q?=C3=A0?= communications Reply-To: Yannick Zakowski X-Loop: caml-list@inria.fr X-Sequence: 19574 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: --Apple-Mail=_3274CA90-994D-424C-92D2-3BF2AD748636 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 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=A9sente= r 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= --Apple-Mail=_3274CA90-994D-424C-92D2-3BF2AD748636 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 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=A9matiques.

- = 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=A9senter 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=A9riel 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=A9= rence, donn=C3=A9es en fran=C3=A7ais.

Yannick ZAKOWSKI et Stefania = DUMBRAVA
JFLA 2027
= --Apple-Mail=_3274CA90-994D-424C-92D2-3BF2AD748636--