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 F01D15D4 for ; Wed, 15 Jul 2020 11:26:41 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.75,355,1589234400"; d="scan'208,217";a="459825068" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Jul 2020 13:26:39 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id B1D2AE0BD4; Wed, 15 Jul 2020 13:26:39 +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 A3974E0BCE for ; Wed, 15 Jul 2020 13:26:35 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yrg@irif.fr; spf=Pass smtp.mailfrom=yrg@irif.fr; spf=None smtp.helo=postmaster@korolev.univ-paris7.fr IronPort-PHdr: =?us-ascii?q?9a23=3AUyXmUh/Vm4YlKv9uRHKM819IXTAuvvDOBiVQ1KB2?= =?us-ascii?q?0ukcTK2v8tzYMVDF4r011RmVBNudsKgP17GempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffgRFiCCzbL9sIxm7ogvcvdQKjIV/Lao81gHHqWZSde?= =?us-ascii?q?RMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZ?= =?us-ascii?q?TQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/9KpgVgPmhz?= =?us-ascii?q?kbOD446GHXi9J/jKRHoBK6uhdzx5fYbJyJOPZie6/Qe84RS2hcUcZLTyFODYOy?= =?us-ascii?q?YYUMAeQcI+hXs5LwqEESoRakHwSgGP/jxz1Oi3Tr3aM6yeMhEQTe0QMiBd0Otn?= =?us-ascii?q?LUp8jpOqAIXuC1zbLIwSzCYfNXwzj97pLHcgs8qvyLXbNwa8XRxFIuFwPfj1WQ?= =?us-ascii?q?p5bpPz2P1ukUtWWQ8uVvW/61hWE9twFxviagxt0qioTRho8Y1F7J+Dh3zYs1K9?= =?us-ascii?q?O1VlB3bNCkHpZfqiyXKYV4T8EgTmxnuys3y7MLtJ+7cSUWxpoqxxrSZ+CDfoWV?= =?us-ascii?q?4h/vSeCcKip2inJifbKwnRey8U64x+39UMm0yldKoTBfntnCrHABzwLc5dKcSv?= =?us-ascii?q?p94kih2SyA1wHJ6u1eJkA0j6XbJpg8ybAzjpoeqVnPEyv5lUnskqObdkop9vKp?= =?us-ascii?q?5uj6eLnqu5GROoxshg3gLqgjntazDOc4PwQUQWSX5OCx2Kfj8ED3RrhBk+c4nb?= =?us-ascii?q?PDsJ/AIMQWvq65DBFR0oYk8xu/DDCm0M4fnXkDMl1FZgiLj5XvO1HPPvD0FO+/?= =?us-ascii?q?jE62kDdq3PDLPKftApvXLnTbkbfhe6hy61JExQYuyd1S6IhYBq8BLf/8QEP8tc?= =?us-ascii?q?HUAgUkPwG6wOvrENB92ZkfWWKLDK+ZKqTSsVqQ6+MvOemMa5QYuDfnK/gk6f7i?= =?us-ascii?q?l3E5mUUFcamzwZQXcGy4HuhhI0iBfXXjmNIBEWMTsgo6Tezqk0GCXCVIZ3eyWq?= =?us-ascii?q?I8/is0BJinDYfFXICtgaaO0D21Hp1MNSh6DQWrGn7tc82hUvYIaSSdautgiSBM?= =?us-ascii?q?AbOoTotk0RC1qCf7zaBmJ6za4HtLm4jk0Y1E7uvV3Suz+j1vSuuc2meEVCkgj3?= =?us-ascii?q?kHbz4s3a45r1YrmQTL6rRxn/ENTY8b3PhOSApvcMeEl7UmWeC3YRrIe5KycHjj?= =?us-ascii?q?Ws+vUGMwVNM/hdEUMR4kSoeSyyvb1i/vOIc70rmCBZg66KXZjirwPcdzjXjchv?= =?us-ascii?q?B40gsWB/BXPGjjvZZRsgjeA4mTzxeakLytcakCmjPL9XnG1WOUvVoHFgBqA/3I?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DqAQBo5w5fh4o9/sJgHAEBAQEBAQcBA?= =?us-ascii?q?RIBAQQEAQGCCoFSgUdXMCyDc0CBHIdliB+CfwGHc4hwiBcLAQMBCgEBIwkBAgQ?= =?us-ascii?q?BAYZXAhwHAQQ0EwIQAQEFAQEBAgEDAwQBEwEBAQgNCQgbDoViDII3KQGDIQYRR?= =?us-ascii?q?SoNNwIkEgEFASI1gwQBgnwBAwuOH4x0gh2BBD2LKIEyiWSBBYE4iFOEHxqCAIE?= =?us-ascii?q?RNoQcgVgDAReEXIJgBLUvgVSBE4hTkQghhBabJIVFlH2BWZRVAgQGBQIGDgEjg?= =?us-ascii?q?Q8OKoF6TScRbAaCMglHGQ2ONgKFFYNWhUEDQTECNQIGAQcBAQMJAVgBAY9mAQE?= X-IPAS-Result: =?us-ascii?q?A0DqAQBo5w5fh4o9/sJgHAEBAQEBAQcBARIBAQQEAQGCCoF?= =?us-ascii?q?SgUdXMCyDc0CBHIdliB+CfwGHc4hwiBcLAQMBCgEBIwkBAgQBAYZXAhwHAQQ0E?= =?us-ascii?q?wIQAQEFAQEBAgEDAwQBEwEBAQgNCQgbDoViDII3KQGDIQYRRSoNNwIkEgEFASI?= =?us-ascii?q?1gwQBgnwBAwuOH4x0gh2BBD2LKIEyiWSBBYE4iFOEHxqCAIERNoQcgVgDAReEX?= =?us-ascii?q?IJgBLUvgVSBE4hTkQghhBabJIVFlH2BWZRVAgQGBQIGDgEjgQ8OKoF6TScRbAa?= =?us-ascii?q?CMglHGQ2ONgKFFYNWhUEDQTECNQIGAQcBAQMJAVgBAY9mAQE?= X-IronPort-AV: E=Sophos;i="5.75,355,1589234400"; d="scan'208,217";a="459825051" X-MGA-submission: =?us-ascii?q?MDEpgYrg4po1GXXtAbeDpOlopIcl2eKQQTkyFu?= =?us-ascii?q?cywslmGU8uyJ73SfA3G6MUii9QfsyQwhMBsT5xx35fQRSyDUutM7L7VT?= =?us-ascii?q?68woH0GaR5xzprhZ2zUwi9NjJHjF937EPaWJCACF+ewFK5FGhhvEmhQ4?= =?us-ascii?q?TIR05dzd1haX2TdTuOf6PHYA=3D=3D?= Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 15 Jul 2020 13:26:34 +0200 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/82085) with ESMTP id 06FBQYGc014632 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO) for ; Wed, 15 Jul 2020 13:26:34 +0200 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/82085) with ESMTP id 06FBQY8c007585 for ; Wed, 15 Jul 2020 13:26:34 +0200 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id 90BB5BC65C for ; Wed, 15 Jul 2020 13:26:34 +0200 (CEST) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id 4Vd2xekUl60o for ; Wed, 15 Jul 2020 13:26:32 +0200 (CEST) Received: from mail-qv1-f53.google.com (mail-qv1-f53.google.com [209.85.219.53]) (Authenticated sender: yrg) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id 7A4C9BC657 for ; Wed, 15 Jul 2020 13:26:32 +0200 (CEST) Received: by mail-qv1-f53.google.com with SMTP id di5so674591qvb.11 for ; Wed, 15 Jul 2020 04:26:32 -0700 (PDT) X-Gm-Message-State: AOAM530l9W1SIBI6F1IrdhbE1EBV7lqQsPcTvPe6aYwGBVZ1OK57mfzk Qp4/5zRr0d+TYfPiu14pMrbRaHtjf+YbKWQB+N8= X-Google-Smtp-Source: ABdhPJyy+sSCycGax8l9Bh1QYXqfzdOl9brI5w9Mif9BFK18tNiPBDDTkdcis/G79xJWfwQnt8MSf1HbuuwvhydRAgM= X-Received: by 2002:a05:6214:bce:: with SMTP id ff14mr9088319qvb.196.1594812391173; Wed, 15 Jul 2020 04:26:31 -0700 (PDT) MIME-Version: 1.0 From: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= Date: Wed, 15 Jul 2020 13:26:20 +0200 X-Gmail-Original-Message-ID: Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="0000000000000f367e05aa79320b" X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Wed, 15 Jul 2020 13:26:34 +0200 (CEST) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Wed, 15 Jul 2020 13:26:34 +0200 (CEST) X-Miltered: at korolev with ID 5F0EE7EA.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 5F0EE7EA.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 5F0EE7EA.000 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 5F0EE7EA.001 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 5F0EE7EA.000 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 5F0EE7EA.001 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham Subject: [Caml-list] JFLA 2021 -- 1er appel =?UTF-8?Q?=C3=A0?= communications Reply-To: =?UTF-8?B?WWFubiBSw6lnaXMtR2lhbmFz?= X-Loop: caml-list@inria.fr X-Sequence: 18193 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: --0000000000000f367e05aa79320b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable [ This message is intentionally written in French. ] - Merci de faire circuler : premier appel =C3=A0 communications - JFLA'2021 http://jfla.inria.fr/jfla2021.html Journ=C3=A9es Francophones des Langages Applicatifs 3 f=C3=A9vrier au 6 f=C3=A9vrier 2021 Domaine d'Essendi=C3=A9ras (P=C3=A9rigord) Les 32-i=C3=A8mes Journ=C3=A9es Francophones des Langages Applicatifs (JFLA= ) se tiendront dans le P=C3=A9rigord, =C3=A0 Saint M=C3=A9dard d=E2=80=99Excideu= il, au coeur du Domaine d'Essendi=C3=A9ras, du mercredi 3 f=C3=A9vrier 2021 au samedi 6 f=C3=A9vrier 2021. Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; el= les 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=AA= tre 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 par d'autres paradigmes. - Assistants de preuve : impl=C3=A9mentation, nouvelles tactiques, 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 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, interpr=C3=A9tation abstraite, raffinement. - Utilisation industrielle des langages fonctionnels et applicatifs, 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 s'ils sont accept=C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les crit= iques 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 Soumission des r=C3=A9sum=C3=A9s 1er octobre 2020 Soumission des articles 8 octobre 2020 Notification aux auteurs 9 novembre 2020 Cl=C3=B4ture des inscriptions 8 janvier 2021 * Soumissions Nous acceptons quatre types de soumissions : - Article de recherche de seize pages au plus (bibliographie incluse), 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 de "perles", ces articles pr=C3=A9sentant avec =C3=A9l=C3=A9gance un r=C3=A9sultat connu s= ous un angle nouveau. - Article court de huit pages au plus (bibliographie incluse) pour rechercher de l'aide pour r=C3=A9soudre un probl=C3=A8me particulier ou p= our 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 objectifs ainsi que l'environnement informatique n=C3=A9cessaire =C3=A0 sa r=C3=A9alisation. - Proposition de d=C3=A9monstration d'un outil ou d'un prototype de deux pages d=C3=A9crivant pourquoi ce logiciel est int=C3=A9ressant ainsi que = ses sp=C3=A9cificit=C3=A9s. Dans tous les cas, la forme de l'article devra =C3=AAtre soign=C3=A9e. Les articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la co= nf=C3=A9rence, et les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors = des journ=C3=A9es, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. Les tutoriels auront un cr=C3=A9neau de vingt-cinq minutes et les d=C3=A9monstrations d'outils ou de prototypes se verront allouer quinze minutes. L'article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la pr=C3= =A9sentation devra =C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le cas o=C3= =B9 il s'agit d'une republication au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9, la p= ublication doit =C3=AAtre en fran=C3=A7ais et la publication 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=3Djfla21 --=20 Chantal Keller et Yann R=C3=A9gis-Gianas --0000000000000f367e05aa79320b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
[ This message is intentionally written in French. ]
- Merci de faire circuler : premier appel =C3=A0 communications -

=
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0JFLA'2021

=C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0http://jfla.inria.fr/jfla2021.html

=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0Journ=C3=A9es Francophones des Langages Applicat= ifs

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A03 f=C3=A9vrier au 6 f=C3=A9vrier 2021

=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 Domaine d'Essendi=C3=A9ras (P=C3=A9rigord)<= br>

Les 32-i=C3=A8mes Journ=C3=A9es Francophones des Langages Applic= atifs (JFLA) se
tiendront dans le P=C3=A9rigord, =C3=A0 Saint M=C3=A9dar= d d=E2=80=99Excideuil, au coeur du
Domaine d'Essendi=C3=A9ras, du me= rcredi 3 f=C3=A9vrier 2021 au samedi 6
f=C3=A9vrier 2021.

Les JFL= A r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; elles
= ont pour ambition de couvrir les domaines des langages applicatifs, de
l= a preuve formelle, de la v=C3=A9rification de programmes, et des objets
= math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AA= tre
pris au sens large : nous souhaitons promouvoir les ponts entre les<= br>diff=C3=A9rentes th=C3=A9matiques.

- Langages fonctionnels et app= licatifs : s=C3=A9mantique, compilation,
=C2=A0 optimisation, typage, me= sures, extensions par d'autres paradigmes.

- Assistants de preuv= e : impl=C3=A9mentation, nouvelles tactiques,
=C2=A0 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, ext= raction de
=C2=A0 programmes, mod=C3=A8les.

- Sp=C3=A9cification,= prototypage, d=C3=A9veloppements formels d'algorithmes.

- V=C3= =A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3=A9ductive= ,
=C2=A0 interpr=C3=A9tation abstraite, raffinement.

- Utilisatio= n industrielle des langages fonctionnels et applicatifs,
=C2=A0 ou des m= =C3=A9thodes issues des preuves formelles, outils pour le web.

Les a= rticles soumis aux JFLA sont relus par au moins deux personnes
s'ils= sont accept=C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les criti= ques
des relecteurs sont toujours bienveillantes et la plupart du temps<= br>encourageantes et constructives, m=C3=AAme en cas de rejet.

Il n&= #39;y a donc pas de raison de ne pas soumettre aux JFLA !

* Dates im= portantes

Soumission des r=C3=A9sum=C3=A9s =C2=A0 =C2=A0 =C2=A0 =C2= =A01er octobre 2020
Soumission des articles =C2=A0 =C2=A0 =C2=A0 =C2=A0= 8 octobre 2020
Notification aux auteurs 9 novembre 2020
Cl=C3=B4ture = des inscriptions 8 janvier 2021

* Soumissions

Nous acceptons = quatre types de soumissions :

- Article de recherche de seize pages = au plus (bibliographie incluse),
=C2=A0 portant sur des travaux originau= x. Nous acceptons des travaux en
=C2=A0 cours, pour lesquels l'aspec= t recherche n'est pas enti=C3=A8rement
=C2=A0 finalis=C3=A9. Nous en= courageons aussi la soumission de "perles", ces
=C2=A0 article= s pr=C3=A9sentant avec =C3=A9l=C3=A9gance un r=C3=A9sultat connu sous un an= gle
=C2=A0 nouveau.

- Article court de huit pages au plus (biblio= graphie incluse) pour
=C2=A0 rechercher de l'aide pour r=C3=A9soudre= un probl=C3=A8me particulier ou pour
=C2=A0 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
=C2=A0 objectifs ainsi que l'e= nvironnement informatique n=C3=A9cessaire =C3=A0
=C2=A0 sa r=C3=A9alisat= ion.

- Proposition de d=C3=A9monstration d'un outil ou d'un = prototype de deux
=C2=A0 pages d=C3=A9crivant pourquoi ce logiciel est i= nt=C3=A9ressant ainsi que ses
=C2=A0 sp=C3=A9cificit=C3=A9s.

Dans= tous les cas, la forme de l'article devra =C3=AAtre soign=C3=A9e. Les<= br>articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les actes de la= conf=C3=A9rence,
et les auteurs seront invit=C3=A9s =C3=A0 faire une pr= =C3=A9sentation lors des
journ=C3=A9es, de vingt-cinq minutes pour les a= rticles longs et de quinze
minutes pour les courts. Les tutoriels auront= un cr=C3=A9neau de vingt-cinq
minutes et les d=C3=A9monstrations d'= outils ou de prototypes se verront
allouer quinze minutes.

L'= article peut =C3=AAtre r=C3=A9dig=C3=A9 en anglais, auquel cas la pr=C3=A9s= entation devra
=C3=AAtre effectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins= , dans le cas o=C3=B9 il s'agit d'une
republication au format co= urt d'un article d=C3=A9j=C3=A0 publi=C3=A9, la publication
doit =C3= =AAtre en fran=C3=A7ais et la publication originale en anglais.

Le s= tyle LaTeX Easychair doit =C3=AAtre respect=C3=A9 :
https://easychair.org/publications/f= or_authors

Les soumissions se font sur la page Easychair des JFL= A :
https:/= /easychair.org/conferences/?conf=3Djfla21

--=C2=A0
Chantal Keller et Yann R=C3=A9gis-Gianas
--0000000000000f367e05aa79320b--