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 9C1E25D4 for ; Thu, 12 Sep 2019 07:12:09 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,495,1559512800"; d="scan'208,217";a="401357278" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Sep 2019 09:12:08 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8E31F7EF60; Thu, 12 Sep 2019 09:12:08 +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 8A0AB7EF07 for ; Thu, 12 Sep 2019 09:12:03 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=zaydargaye@gmail.com; spf=Pass smtp.mailfrom=zaydargaye@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f178.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AbskZlB9eHZmllP9uRHKM819IXTAuvvDOBiVQ1KB3?= =?us-ascii?q?0u4cTK2v8tzYMVDF4r011RmVBN6ds64P0rOI++C4ACpcuMzH6ChDOLV3FDY9wf?= =?us-ascii?q?0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6?= =?us-ascii?q?PPn6FZDPhMqrye+y54fTYwJVjzahfL9+Nhq7oRjfu8UMnYdvJak9xgbUrnZJZu?= =?us-ascii?q?9awX9kKU+Jkxvz+8u84oRv/zhMt/4k6sVNTbj0c6MkQLJCET8oKXo15MrltRnC?= =?us-ascii?q?SQuA+H4RWXgInxRLHgbI8gj0Uo/+vSXmuOV93jKaPdDtQrAvRTui9aZrRwT2hy?= =?us-ascii?q?oBKjU07XvYis10jKJcvRKhuxlyyJPabY2JKPZzeL7WcNUHTmRDQ8lRTTRMDYy8?= =?us-ascii?q?YYUBDOQPIPhWoJXmqlQUsRezHxOhCP/zxjJKgHL9wK000/4mEQHDxAEhHsgBsX?= =?us-ascii?q?TSrNrvNKcZTP26w7PSzTXMdfxX2Sny45XPfxEgu/6NXa9/ftDLyUkgDQzEjkuf?= =?us-ascii?q?pJfqPzOQzOsNsmyb4/B8WuKojm4qsgd8qSWhyMcrj4nGnIMVylbc+CV4xoY1P9?= =?us-ascii?q?y4R1Rhbd6qCptcrz+VOJFtQsIiX25ouDw1yrwcuZKheygK0psnyhjCYPKEa4iF?= =?us-ascii?q?+gzvWPqVLDtih39oeKiziwuz/ES80OHwS8u53VVMoyFYiNfDrGoN2AbW6sWfSv?= =?us-ascii?q?ty4EOh2TGX2gDW8O5EIEQ0mbPCK54937I8j5QTvVnBEyL1gkn2g6iWdkIr+uis?= =?us-ascii?q?9evreKnpppiZN4NsiwH+NLohmtCnDOgmLgQDW3KX9Oe82bH54EH0QalGgucrnq?= =?us-ascii?q?Tbs53WPcEbqbS4Aw9R3IYj8RG/DzK+3dUZh3YGLE9Kdwidj4jmIV7PIO73AOyw?= =?us-ascii?q?g1SpijhrxvTGMqf9DZXKK3jPiK3hcqpl605A1AozyshS6I5OBbEEJPL/Q0vxtN?= =?us-ascii?q?3DDh8lKAG02ObmCNBl1owEQ26PA6mZMLnTsVCS/O4vLfOMN8cpv2P2Iv0hovrv?= =?us-ascii?q?lmMRmFkHfKDv04FERmq/G6F0KlSfaHqkjt4bHm4bs0JqXuX7hFSYXjdCal69Wq?= =?us-ascii?q?s94ncwD4fwXtSLfZyknLHUhHTzJZZRfG0TUgnQQ0etTJ2NXrI3UAzXOtVoy2VW?= =?us-ascii?q?Wr2oSotn3har5lejluhXa9HM8yhdjqrNkdh44+qJy0M3/D1wSt2BiiSDFj4k2G?= =?us-ascii?q?wPQDAy0eZ0pkkvkg7Sg5g9uORREJlo390MVw47MZDGyOkjUoL9XwvAepGCT1P0?= =?us-ascii?q?G9g=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CSAgCN7nldgLKgVdFmHgEGBwaBZ4JAR?= =?us-ascii?q?VIzKoNhQIEdgl6LAox5hE2Je4FnCQEDAQwFHgwBAYQ/glkbBwEENBMCDAEBBAE?= =?us-ascii?q?BAQIBAwMEARMBAQkNCQgnhTcMgjoigwEGER0BGwwSAxIDDTcCJAERAQUBV4MBg?= =?us-ascii?q?WkBAx0PjneMcIIcgQM8iySBFQUBF4J+BYRCChknDWEDgT0CBxKBIot4GIFAP4E?= =?us-ascii?q?RhFSBXQMBGIELaYJeglgEjFyfa0aBZYcBjXYbgySVZpUVbpEDDyOBHCqBeXCBA?= =?us-ascii?q?YI7CYI5GINagT6DVoU+A0EwAZAnAQE?= X-IPAS-Result: =?us-ascii?q?A0CSAgCN7nldgLKgVdFmHgEGBwaBZ4JARVIzKoNhQIEdgl6?= =?us-ascii?q?LAox5hE2Je4FnCQEDAQwFHgwBAYQ/glkbBwEENBMCDAEBBAEBAQIBAwMEARMBA?= =?us-ascii?q?QkNCQgnhTcMgjoigwEGER0BGwwSAxIDDTcCJAERAQUBV4MBgWkBAx0PjneMcII?= =?us-ascii?q?cgQM8iySBFQUBF4J+BYRCChknDWEDgT0CBxKBIot4GIFAP4ERhFSBXQMBGIELa?= =?us-ascii?q?YJeglgEjFyfa0aBZYcBjXYbgySVZpUVbpEDDyOBHCqBeXCBAYI7CYI5GINagT6?= =?us-ascii?q?DVoU+A0EwAZAnAQE?= X-IronPort-AV: E=Sophos;i="5.64,495,1559512800"; d="scan'208,217";a="401357257" X-MGA-submission: =?us-ascii?q?MDGgRqJ3Svrflp15kISw0JheyazOfI7/8uNoTq?= =?us-ascii?q?Qz6MnzM3osbt8Fm9uA3O0ZNXH7rYga3j1J1X/TI3eWBVeUZ68SREQ7K9?= =?us-ascii?q?Glzru+uZCktKdv9cxVUlIIlHfC6G8ck/na+NTDqH9d0iQv9fIFqQPg+1?= =?us-ascii?q?FIenuKImOQuGdFHAmB2Gxz/A=3D=3D?= Received: from mail-qt1-f178.google.com ([209.85.160.178]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Sep 2019 09:12:02 +0200 Received: by mail-qt1-f178.google.com with SMTP id o12so28488721qtf.3 for ; Thu, 12 Sep 2019 00:12:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=WjvzQxSsqbSOx1a9HuNx/3TshbUZWNM6K1g/AD8AAlI=; b=t4YhzKDaefoupqnbGmRQ1NanZWZn1u+Pa0W68Co5CLN4stX/XBVtS7/2046HvB2o0t QIQWhozW88YdN6x+tN0Cu2zluZT/Y+HuGdzBodf00n99rRD7vdhobjRaFiib4o5wD1l4 57KmRMmVBql4PzR+Et+CgFYi/ZgvZ7y6Wa4MLRSj65C7nHMS+sgKurBvqOpMw92IFbGR DEx7JczxWCs2z2+lwR4gBj+M9D6EWjBYWgvxv/R3hp1swI4DtnfXcxd8M3GS1+k27E5C HT94HrjLE9QgXMmyz5AYyVi0rHIpXttjFiqKSMhv6v1ioNO/jpZArzXmk1XzusDRyY3S QXkQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=WjvzQxSsqbSOx1a9HuNx/3TshbUZWNM6K1g/AD8AAlI=; b=eIERumPnaeq+jCxYC04ysKMK5+bRyjJSAlUwkdKSNL7DqXQFHIhAAednz+s5kfPWNL 1TTMj9x6VmuB7MIpmnjbkDDILPm7Ckj4OHRRnwY+POO1gkO+evxYF1/2QBHBR3XUqCLE x67//3ylSUMqdW6/S6+1aWcGVWqoMBZw910izBph/A5pvDfHWLcvP4A3ayDQKoO1T9TD W+k6AgXG3e1FjEJbwFxDgq56hK3qFdtB4BlWRs8hrBMhNFlnDZfvSaj0Xs4xJ9gViLOE 97fNog6Gv6RsLwdGo1Q0BcdHpm/huHPenCCAYhqV6iNcimkxTdZRKSVZ13Crb+Ct4v0y BxtA== X-Gm-Message-State: APjAAAX7JNGVoXwjYriI37WxD1S2tOCxkDlXfr8mRn4FBkcgEidJsdG+ IxeL1bOZ/ZJyzc7HkOUpSRu7SL7sRWDgIWj+EyS+YcY8swFn6A== X-Google-Smtp-Source: APXvYqxDcqAfXDwxB6Mo+7FPL1g0UvknqCo5Z/+SWVRHHWQfUl+YTqZ/3KqAleG7xaJyNsDzx69goGM5IUD+d3panXk= X-Received: by 2002:ac8:6b45:: with SMTP id x5mr38538925qts.205.1568272320735; Thu, 12 Sep 2019 00:12:00 -0700 (PDT) MIME-Version: 1.0 From: zaynah dargaye Date: Thu, 12 Sep 2019 09:11:49 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="00000000000096b1bc059255da5b" Subject: [Caml-list] =?UTF-8?Q?JFLA_2020_=7C_Second_appel_=C3=A0_communica?= =?UTF-8?Q?tion?= Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 17800 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --00000000000096b1bc059255da5b 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'2020 ( http://jfla.inria.fr/jfla2020.html) Journ=C3=A9es Francophones des Langages Applicatifs Gruissan - du 29 janvier au 1 f=C3=A9vrier 2020 Dates importantes --------------------- 1 octobre 2019 : soumission des r=C3=A9sum=C3=A9s 8 octobre 2019 : soumission des articles 2 novembre 2019 : notification aux auteurs Les trente et uni=C3=A8mes Journ=C3=A9es Francophones des Langages Applicatifs (JFLA) se tiendront =C3=A0 Gruissan, et plus pr=C3=A9cis=C3=A9= ment =C3=A0 l'h=C3=B4tel H=C3=B4tel Phoebus Garden & spa du mercredi 29 janvier au samedi 1 f=C3=A9vrier 2020. 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 ! Soumissions ----------- Nous acceptons deux 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. . Article court de huit pages au plus (bibliographie incluse), pour d=C3=A9crire un prototype, faire la d=C3=A9monstration d'un outil, rechercher de l'aide pour r=C3= =A9soudre un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9j=C3=A0 pu= bli=C3=A9. 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 conf=C3=A9r= ence, et les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors des jou= rn=C3=A9es, de vingt-cinq minutes pour les articles longs et de quinze minutes pour les courts. 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=3Djfla20 Notez que toute intention de soumission doit =C3=AAtre annonc=C3=A9e au plu= s tard le 1er octobre 2019 par le d=C3=A9p=C3=B4t d'un r=C3=A9sum=C3=A9 sur Easych= air. date limite de soumission des r=C3=A9sum=C3=A9s : 1er octobre 2019 date limite de soumission des articles : 8 octobre 2019 --00000000000096b1bc059255da5b 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=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0JFLA'= 2020 (http://jfla.inria.fr/j= fla2020.html)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Journ=C3= =A9es Francophones des Langages Applicatifs

=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 Gruissan - =C2=A0du 29 janvier au 1 f=C3=A9vrier 2020
=

Dates importantes
---------------------

=C2=A01 octobre 2= 019 =C2=A0: soumission des r=C3=A9sum=C3=A9s
=C2=A08 octobre 2019 =C2=A0= : soumission des articles
=C2=A02 novembre 2019 : notification aux auteu= rs

=C2=A0Les trente et uni=C3=A8mes Journ=C3=A9es Francophones des L= angages
=C2=A0Applicatifs (JFLA) se tiendront =C3=A0 Gruissan, et plus = pr=C3=A9cis=C3=A9ment
=C2=A0=C3=A0 l'h=C3=B4tel H=C3=B4tel Phoebus = Garden & spa du mercredi 29 janvier
=C2=A0au samedi 1 f=C3=A9vrier = 2020.
=C2=A0
Les JFLA r=C3=A9unissent concepteurs, utilisateurs et th= =C3=A9oriciens ; elles
ont pour ambition de couvrir les domaines des lan= gages applicatifs, de
la preuve formelle, de la v=C3=A9rification de pro= grammes, et des objets
math=C3=A9matiques qui sous-tendent ces outils. C= es domaines doivent =C3=AAtre
pris au sens large : nous souhaitons promo= uvoir les ponts entre
les diff=C3=A9rentes th=C3=A9matiques.

. La= ngages fonctionnels et applicatifs : s=C3=A9mantique, compilation,
=C2= =A0 =C2=A0 optimisation, typage, mesures, extensions par d'autres parad= igmes.

. Assistants de preuve : impl=C3=A9mentation, nouvelles tacti= ques,
=C2=A0 =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, extraction
=C2=A0 =C2=A0 de progr= ammes, mod=C3=A8les.

. Sp=C3=A9cification, prototypage, d=C3=A9velop= pements formels d'algorithmes.

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

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

Les articles soum= is aux JFLA sont relus par au moins deux personnes
s'ils sont accept= =C3=A9s, trois personnes s'ils sont rejet=C3=A9s. Les critiques
des = relecteurs sont toujours bienveillantes et la plupart du temps
encourage= antes et constructives, m=C3=AAme en cas de rejet.

Il n'y a donc= pas de raison de ne pas soumettre aux JFLA !


Soumissions
---= --------

Nous acceptons deux types de soumissions :

. Article= de recherche de seize pages au plus (bibliographie incluse),
portant su= r des
=C2=A0 =C2=A0 travaux originaux. Nous acceptons des travaux en cou= rs, pour lesquels
=C2=A0 =C2=A0 l'aspect recherche n'est pas ent= i=C3=A8rement finalis=C3=A9.

. Article court de huit pages au plus (= bibliographie incluse), pour
d=C3=A9crire un prototype,
=C2=A0 =C2=A0= faire la d=C3=A9monstration d'un outil, rechercher de l'aide pour = r=C3=A9soudre
=C2=A0 =C2=A0 un probl=C3=A8me particulier, ou reparler d&= #39;un papier d=C3=A9j=C3=A0 publi=C3=A9.

Dans tous les cas, la form= e de l'article devra =C3=AAtre soign=C3=A9e. Les articles
s=C3=A9lec= tionn=C3=A9s seront publi=C3=A9s dans les actes de la conf=C3=A9rence, et l= es
auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors d= es journ=C3=A9es,
de vingt-cinq minutes pour les articles longs et de qu= inze minutes pour
les courts.

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&= #39;agit d'une
republication au format court d'un article d=C3= =A9j=C3=A0 publi=C3=A9, la publication
doit =C3=AAtre en fran=C3=A7ais e= t 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/conference= s/?conf=3Djfla20


Notez que toute intention de soumission doi= t =C3=AAtre annonc=C3=A9e au plus tard
le 1er octobre 2019 par le d=C3= =A9p=C3=B4t d'un r=C3=A9sum=C3=A9 sur Easychair.


date limite= de soumission des r=C3=A9sum=C3=A9s =C2=A0: 1er octobre 2019
date limit= e de soumission des articles : 8 octobre 2019
--00000000000096b1bc059255da5b--