From: Delphine Demange <delphine.demange@irisa.fr>
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: quoted-printable
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\))
Subject: =?utf-8?Q?CFP_-_JFLA_2024_-_Journ=C3=A9es_Francophones_des_Langag?=
 =?utf-8?Q?es_Applicatifs?=
Message-Id: <65254517-A152-48C8-9C63-8611441B555A@irisa.fr>
Date: Mon, 26 Jun 2023 19:10:22 +0200
To: haskell@haskell.org

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 2024 in Brittany. 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 2024 : Journ=C3=A9es Francophones des Langages Applicatifs
http://jfla.inria.fr/jfla2024.html

30 janvier au 2 f=C3=A9vrier 2024

Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer

Les 35es Journ=C3=A9es Francophones des Langages Applicatifs (JFLA) se
tiendront en Bretagne, =C3=A0 Saint-Jacut-de-la-Mer (C=C3=B4tes-d'Armor), =
du
mardi 30 janvier 2024 au vendredi 2 f=C3=A9vrier 2024.

Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; =
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, mesures, 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 de Curry-Howard, 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.

- Probl=C3=A9matiques d'enseignement, de formation, ou de diffusion des
  langages fonctionnels et applicatifs. Environnements et
  m=C3=A9thodologies 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 des relecteurs 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 : 19 octobre 2023, AoE
- Notification aux auteurs : 1er d=C3=A9cembre 2023, AoE
- Version finale des articles : 18 d=C3=A9cembre 2023, AoE

SOUMISSIONS

Nous acceptons quatre 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=A9galemen=
t
  pr=C3=A9senter de mani=C3=A8re synth=C3=A9tique et coh=C3=A9rente un =
ou plusieurs
  r=C3=A9sultats d=C3=A9j=C3=A0 publi=C3=A9(s).

- Tutoriel (3 pages max.) exposant clairement les objectifs et
  l'int=C3=A9r=C3=AAt de la pr=C3=A9sentation, ainsi que l'environnement =
informatique
  n=C3=A9cessaire =C3=A0 sa r=C3=A9alisation.

- D=C3=A9monstration de logiciel (3 pages max.) d=C3=A9crivant =
l'int=C3=A9r=C3=AAt du
  logiciel, qu'il soit prototypique ou abouti, ainsi que ses
  sp=C3=A9cificit=C3=A9s.

CONSIGNES AUX AUTEURS

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 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 des relecteurs. 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=A9sidents du comit=C3=A9 ne le sont pas.

Les articles doivent =C3=AAtre soumis via le site :
https://jfla2024.hotcrp.com/

L'=C3=A9valuation des articles suit un processus en simple-aveugle : les
relecteurs des articles sont anonymes, mais pas les auteurs.

Les articles accept=C3=A9s seront publi=C3=A9s dans les actes de la =
conf=C3=A9rence,
sur HAL (portail institutionnel Inria), et les auteurs 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.

Delphine DEMANGE et Adrien GUATTO
JFLA 2024