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 8D7575D5 for ; Wed, 2 Oct 2019 05:09:56 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,572,1559512800"; d="scan'208,217";a="404281637" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Oct 2019 07:09:55 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 572EA7F25F; Wed, 2 Oct 2019 07:09:55 +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 D49797EFA1 for ; Wed, 2 Oct 2019 07:09:52 +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-qk1-f180.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AaBM4vx3ZHCLQ7ISmsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0RL/ad9pjvdHbS+e9qxAeQG9mCsLQY1qGH6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglVijexe7x/IRW5oQjVqsUdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnYhcJwgqxVow+vqQJjzIPPeo6ZKOBzc7nBcd8GR2dMWNtaWSxbAoO7?= =?us-ascii?q?aosCF+sAMvxYron7vVQOrQa1ChS2C+P1xT9HnH/30rMn2OkmEADJxgwhEM8Uv3?= =?us-ascii?q?TOo9X6LqcTXv6uwanHyDXMdfJW2TPn5IfUdRAhpOiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9PjOV0P4Ns2mB4OZ6W+KvkXYrpB9rrTi0xsYjlonJiZgUylDe7yl5x5w1Jd?= =?us-ascii?q?K+RUVmYtCkCINduz+GO4ZyWM8vQGFltDwkxrEYp5K3ZjUGxZc7yxPZdveJaZKH?= =?us-ascii?q?4gj5W+aUOTp4hGxqeLa4hxuq9Eiv0Oz8Vs2t3FZTrSpJj8DAtn4Q2xHQ9sSLUP?= =?us-ascii?q?R9/kCm2TaA0wDc9PtILlwzlareM5Ihw7gwmYQPsUnbACP6hEH7gLWVe0gk4OSk?= =?us-ascii?q?9frrbqv8qpOBNIJ4lhnyMqE0lcy+BeQ4PBIOX2+e+emk1bzs5034T6hQgf0sna?= =?us-ascii?q?nWqpDbKtoAq662Bg9ayIcj6xKlAzi619QYmGELLEhZdxKfk4jpJ1bOLejkAvil?= =?us-ascii?q?hlSslC5nx/THPr36HpXANWPDkbfkfbZl8UFQ0gszzdZF55JVEL4NOvzzWlWi/O?= =?us-ascii?q?DfWxQwNgjxx+f8FP180JkfUCSBGPy3KqTX5E2B9+QmI6GAbZUasSfwY6w37u/i?= =?us-ascii?q?hGU2kE4QVaas1JoTLnu/G6I1cA2ifXPwj4JZQi8xtQ0kQbmy0QDQYXtof3+3Gp?= =?us-ascii?q?kEyHQ7BYahV9mRQ4mshPmY337+EMQGPiZJDVeDFXqufIKBCa9VOXCiZ/R5mzlB?= =?us-ascii?q?boCPDooo1BWgrgj/kuM1Ie/d+ylevpXmhoEsu7/j0Coq/DkxNPyzlnmXRjgtzG?= =?us-ascii?q?wNTj4ymqt4pB4lxw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BEBQCHMJRdhrTeVdFlHgEGEoQtRQ92K?= =?us-ascii?q?oNiQIEdgl6KfYt9foRNi2cJAQMBDAUeDAEBhECCNBsHAQQ0EwIMAQEEAQEBAgE?= =?us-ascii?q?CAwQBEwEBAQgLCwgphTQMgjoigwIGER0BGwwSAxIDDTcCJAERAQUBV4MAAYFpA?= =?us-ascii?q?QMdD5M0jHCCHIEDPIsmgRUFAReCfgWEPQoZJw1jA4E8AgcSgSKMDhiBQD+BEYR?= =?us-ascii?q?UgV0DARiBdIJgglgEjH6gJ0aBZocGjgsbgyqWD5VMc5EmDyOBHCqBenCBAYI7C?= =?us-ascii?q?UcQFIFPGAKDWYE+g1aFPgNCMAGRcgEB?= X-IPAS-Result: =?us-ascii?q?A0BEBQCHMJRdhrTeVdFlHgEGEoQtRQ92KoNiQIEdgl6KfYt?= =?us-ascii?q?9foRNi2cJAQMBDAUeDAEBhECCNBsHAQQ0EwIMAQEEAQEBAgECAwQBEwEBAQgLC?= =?us-ascii?q?wgphTQMgjoigwIGER0BGwwSAxIDDTcCJAERAQUBV4MAAYFpAQMdD5M0jHCCHIE?= =?us-ascii?q?DPIsmgRUFAReCfgWEPQoZJw1jA4E8AgcSgSKMDhiBQD+BEYRUgV0DARiBdIJgg?= =?us-ascii?q?lgEjH6gJ0aBZocGjgsbgyqWD5VMc5EmDyOBHCqBenCBAYI7CUcQFIFPGAKDWYE?= =?us-ascii?q?+g1aFPgNCMAGRcgEB?= X-IronPort-AV: E=Sophos;i="5.64,572,1559512800"; d="scan'208,217";a="404281624" X-MGA-submission: =?us-ascii?q?MDEesq/M7UCwsM9Rb2gv22/SXPZLILs+TqkyzZ?= =?us-ascii?q?RxJoYWAo4eTESRmTzjdp95v8DVMP9XfllJeyHlx19xJ40RVe3VapKCV8?= =?us-ascii?q?EQXh7zm79uA+ds+QtlaImECBE2irdoEES0mmHvNK0xwFRC4X7CbhpclT?= =?us-ascii?q?omvquICMP/dYNof4SZOhxvng=3D=3D?= Received: from mail-qk1-f180.google.com ([209.85.222.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Oct 2019 07:09:51 +0200 Received: by mail-qk1-f180.google.com with SMTP id z67so13692365qkb.12 for ; Tue, 01 Oct 2019 22:09:51 -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=l3rxBH1KXoWRfMzmOD3ehtCd1na2YtaAKbyE3sDCpAo=; b=a32lnnymc0C0DFcryRSKvamiLrYP/B9zfWmkZ/JuIv2LL0Glqd7VMyKkn2TK+Bljj7 A3UoYVeJti7VZKmwgjo2RWJRS4hzwrbOxDZavxvRcx0dHglZkn2IHqdeFbbTh0hFngy7 35djT80zjET0q7g0ale7RfqcKEhnqPM1zCu6h1c2DXQVbn43ZzthHbB691dD3dU7TyCL K72NUQC9HQnJqEfW0w4283BoTZDhOxg/nmXNDW8rfu35Z2yIRWTxJ241zq8VFiN4F44/ Am+5iM5YkXsIPdkzBIAQZlj3xZEKZgvrzjj1oztj9cXxp0dmXIi1YAmOft5Ftvxq+YMf uB3A== 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=l3rxBH1KXoWRfMzmOD3ehtCd1na2YtaAKbyE3sDCpAo=; b=rr5a25h99/B6tAL/GxWlAq63Oa5VMKgr/WgvulsLKkr28ipPIcIT8E3pZ1W1QOWVgT bMQIcb5H02lPe6bHLYZelAj9VRdYyHoNKwB7eXxwanGhAaqz85g8EhAbQIdwuPzd3vSs CZnsfXCyMdEoqbsLdRQ7Ml1Ml8NmhQ9wQzCWCgLhMlSby8aoeTXlSqs0KU8YIr1Ptrwk UugZph/O3cwpjgjSTjEwg88C06iNfjhwnAoKghVhcwIkvd/XlzCMdXcj6VJVr6Paykbn ZGVsJyLXEIfU8swwS6Ii2giGH4hTaHcB/AQjr7Ryy7lCi3QTDp+y+PT69hoEc6zi+mRz 3jSg== X-Gm-Message-State: APjAAAVATsU+snkx8/bAVz3A1+EyJ3IESB6Eubjd3lPxH9aeeBRRuP/L U3F4ZDp33ktF0UCj8L/M6+XXaPl60w5Cwb2ORQPkZ0V7L98= X-Google-Smtp-Source: APXvYqzPg1hmBDXIjwqsTRXwSrs8UzI9dTm0+qs4eu5GWcN76FTax+H0kgthKfK4yOOKl4wk/3HRI0dheN6ukKAOr+o= X-Received: by 2002:a37:642:: with SMTP id 63mr1955676qkg.29.1569992990181; Tue, 01 Oct 2019 22:09:50 -0700 (PDT) MIME-Version: 1.0 From: zaynah dargaye Date: Wed, 2 Oct 2019 07:09:39 +0200 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000007acd5c0593e67acb" Subject: [Caml-list] JFLA 2020 | Extensions des dates de soumissions Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 17835 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: --0000000000007acd5c0593e67acb Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable A tous, nous avons =C3=A9tendu la date de soumission des r=C3=A9sum=C3=A9s au JFL= A 2020 jusqu'=C3=A0 *vendredi 4 octobre*. N'h=C3=A9sitez pas: Il n'y a pas de raison de ne pas soumettre aux JFLA ! [This message is intentionally written in French. ] * Merci de faire circuler : extension des dates de soumissions * 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 *4 octobre 2019* : soumission des r=C3=A9sum=C3=A9s 8 octobre 2019 *15 octobre 2019*: soumission des articles 2 novembre 2019 *9 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 *4 oct= obre 2019* date limite de soumission des articles : 8 octobre 2019 *15 octobre 2019* --0000000000007acd5c0593e67acb Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
A tous,=C2=A0
=C2=A0 nous avons =C3=A9tendu la d= ate de soumission des r=C3=A9sum=C3=A9s au JFLA 2020 jusqu'=C3=A0 ve= ndredi 4 octobre. N'h=C3=A9sitez pas:=C2=A0
=C2=A0 =C2=A0Il n&#= 39;y a pas de raison de ne pas soumettre aux JFLA !

[Thi= s message is intentionally written in French. ]

* Merci de faire cir= culer : extension des dates de soumissions *

=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/jfla= 2020.html)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Journ=C3=A9= es 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 octo= bre 2019=C2=A04 octobre 2019=C2=A0: soumission= des r=C3=A9sum=C3=A9s
=C2=A08 octobre 2019=C2=A0 15 octobre 2019: soumission des articles=C2=A02 novembre 2019=C2=A09 = novembre 2019 : notification aux auteurs

=C2=A0Les trente= et uni=C3=A8mes Journ=C3=A9es Francophones des Langages
=C2=A0Applicati= fs (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 mercre= di 29 janvier
=C2=A0au samedi 1 f=C3=A9vrier 2020.
=C2=A0
Les JFLA= r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; elles
o= nt pour ambition de couvrir les domaines des langages applicatifs, de
la= preuve formelle, de la v=C3=A9rification de programmes, et des objets
m= ath=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AAt= re
pris au sens large : nous souhaitons promouvoir les ponts entre
le= s diff=C3=A9rentes th=C3=A9matiques.

. Langages fonctionnels et appl= icatifs : s=C3=A9mantique, compilation,
=C2=A0 =C2=A0 optimisation, typa= ge, mesures, extensions par d'autres paradigmes.

. Assistants de= preuve : impl=C3=A9mentation, nouvelles tactiques,
=C2=A0 =C2=A0 d=C3= =A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt technique ou m=C3=A9th= odologique.

. Logique, correspondance de Curry-Howard, r=C3=A9alisab= ilit=C3=A9, extraction
=C2=A0 =C2=A0 de programmes, mod=C3=A8les.
. Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'algor= ithmes.

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

. Utilisation industrielle des langages fonctionnels et a= pplicatifs,
=C2=A0 =C2=A0 ou des m=C3=A9thodes issues des preuves formel= les, 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 critiques
des relecteurs sont toujours b= ienveillantes 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 acce= ptons deux types de soumissions :

. Article de recherche de seize pa= ges au plus (bibliographie incluse),
portant sur des
=C2=A0 =C2=A0 tr= avaux originaux. Nous acceptons des travaux en cours, pour lesquels
=C2= =A0 =C2=A0 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,
=C2=A0 =C2=A0 faire la d=C3=A9monstra= tion d'un outil, rechercher de l'aide pour r=C3=A9soudre
=C2=A0 = =C2=A0 un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9j= =C3=A0 publi=C3=A9.

Dans tous les cas, la forme de l'article dev= ra =C3=AAtre soign=C3=A9e. Les articles
s=C3=A9lectionn=C3=A9s seront pu= bli=C3=A9s dans les actes de la conf=C3=A9rence, et les
auteurs seront i= nvit=C3=A9s =C3=A0 faire une pr=C3=A9sentation lors des journ=C3=A9es,
d= e vingt-cinq minutes pour les articles longs et de quinze minutes pour
l= es 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
r= epublication au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9, l= a publication
doit =C3=AAtre en fran=C3=A7ais et la publication original= e en anglais.

Le style LaTeX Easychair doit =C3=AAtre respect=C3=A9 = :
https://easychair.org/publications/for_authors

Les soumis= sions se font sur la page Easychair des JFLA :
https://easychair.org= /conferences/?conf=3Djfla20


Notez que toute intention de sou= mission doit =C3=AAtre annonc=C3=A9e au plus tard
le 1er octobre 2019 pa= r le d=C3=A9p=C3=B4t d'un r=C3=A9sum=C3=A9 sur Easychair.


da= te limite de soumission des r=C3=A9sum=C3=A9s =C2=A0: 1er octobre 2= 019=C2=A0=C2=A04 octobre 2019

date limite de soumission des articles : 8 octobre 2019=C2=A0<= /strike>=C2=A015 octobre 2019
--0000000000007acd5c0593e67acb--