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 ESMTP id 7C8BF5D4 for ; Thu, 12 Jul 2018 09:00:14 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.51,342,1526335200"; d="scan'208,217";a="338564633" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 12 Jul 2018 11:00:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 32B10824B3; Thu, 12 Jul 2018 11:00:10 +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 C93B382416 for ; Thu, 12 Jul 2018 10:58:57 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=magaud@unistra.fr; spf=Pass smtp.mailfrom=magaud@unistra.fr; spf=None smtp.helo=postmaster@mailhost.u-strasbg.fr IronPort-PHdr: =?us-ascii?q?9a23=3AaRu4Jh96Y6zsNf9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+kcTK2v8tzYMVDF4r011RmVBduds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+55zebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRh/0hy?= =?us-ascii?q?kaNDA3/n/ZhcN3gq9Auh2tuxl/zpTUYI2JNvdzeL7Wc9MARWpGW8ZcTzRPAoKg?= =?us-ascii?q?YIsIC+oOJ/1YpJT6qVQUohuxHxSsC/7ywTJPg3/5x6I63P48EQ7bxwEgAtQOsH?= =?us-ascii?q?XPrNXpLqcdS/q5zKfSzTjaaf5dxDnz6I/Nch87oPGMW6p9ftTLxkk0FwLKklWQ?= =?us-ascii?q?ppbkPzOPzOgNtHKb7+V4WeKykmInsB1xoiK1ycc3kYbJiZgZyl7e9Sh/3Y07Js?= =?us-ascii?q?W4RVZmbdOqDJdcrSOXOo9sTs88XW1kpjw2xqMbtZO5ZCQHy5UqywTBZ/CZcYWE?= =?us-ascii?q?+AzvWPiMLTtii39odrSyjAuo/0e60O3zTMy03U5KriVbltnMsWgA1xnJ5ciGTv?= =?us-ascii?q?t9/kCh2S2T1wzJ9+FIOFs0lbbBK5E72b4/jZUTvV7NHi/sgEn2jamWeVs4+uWw?= =?us-ascii?q?9ujqbKnqqoWeOoJwkA3yLLoiltKlDegmLwQDXXCX+eGm273i+U35Tq9Kjvozkq?= =?us-ascii?q?TBtZDVP8sbqbSkAwBIyYsj9hC/Dza90NQEh3kINkhJeBydj4TxIVHBPOj4Deuj?= =?us-ascii?q?g1SriDpk2+rJPrjlApnUKnjDkazhfapm5k5HyAszyMhf6IhOBrEAJvLzQE7xu8?= =?us-ascii?q?bCAh83KQzni9rgXd5004dbXWOUHoeYNrnTuBmG/LEBOe6JMakUszH5IuNtwvfh?= =?us-ascii?q?hGI10QsYdKagwJc/dXa5Beh8KgOXeyy/0Z86DW4Ws19mH6TRg1qYXGsLPifgb+?= =?us-ascii?q?cH/jg+TbmeI8LGT4GpjqaG2X7hTIBQZ3taEFnKH226LtzYCcdJUzqbJ4paqhJB?= =?us-ascii?q?TaKoEtVzyBevrxPgwvxpNLiMo3BKhdfYzNFwotbru1Qy+DhzVZ/P1miMS2FzhX?= =?us-ascii?q?9OWnotwLp2ukZyjFmZg/B1?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D3AQDaF0dbh9neT4JcFgcBAQUBCwGEL?= =?us-ascii?q?G0Sg2M/iGONOZdQCyMJhx4HAQQ0FAECAQECAQEBAQETAQEBCgsJCCkjDII1IoJ?= =?us-ascii?q?yF0UqRAKEEgGBfwQLjXKMZI5jgS6EW4VkBYsUgRAnDIQfgVgBAxiERzGCJAKHZ?= =?us-ascii?q?JFzCXWFFZZ+ijiFAYJZgViBczMaCB8RZQGCPz2BcwKFDINWhT0DgWYbi0QBAQ?= X-IPAS-Result: =?us-ascii?q?A0D3AQDaF0dbh9neT4JcFgcBAQUBCwGELG0Sg2M/iGONOZd?= =?us-ascii?q?QCyMJhx4HAQQ0FAECAQECAQEBAQETAQEBCgsJCCkjDII1IoJyF0UqRAKEEgGBf?= =?us-ascii?q?wQLjXKMZI5jgS6EW4VkBYsUgRAnDIQfgVgBAxiERzGCJAKHZJFzCXWFFZZ+iji?= =?us-ascii?q?FAYJZgViBczMaCB8RZQGCPz2BcwKFDINWhT0DgWYbi0QBAQ?= X-IronPort-AV: E=Sophos;i="5.51,342,1526335200"; d="scan'208,217";a="338564221" Received: from smr1.u-strasbg.fr (HELO mailhost.u-strasbg.fr) ([130.79.222.217]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 12 Jul 2018 10:58:27 +0200 Received: from local-mr.u-strasbg.fr (lmr2.u-strasbg.fr [172.30.21.2]) by smr1.u-strasbg.fr (Postfix) with ESMTP id A476A602E3 for ; Thu, 12 Jul 2018 10:58:26 +0200 (CEST) Received: from local-mr.u-strasbg.fr (localhost [127.0.0.1]) by antivirus (Postfix) with ESMTP id 839B21FAFA for ; Thu, 12 Jul 2018 10:58:26 +0200 (CEST) Received: from macbook-pro-9.home (LFbn-MON-1-906-43.w86-227.abo.wanadoo.fr [86.227.221.43]) (Authenticated sender: magaud) by lmr2.u-strasbg.fr (Postfix) with ESMTPSA id 0C7AC1F9B5 for ; Thu, 12 Jul 2018 10:58:24 +0200 (CEST) From: Nicolas Magaud Content-Type: multipart/alternative; boundary="Apple-Mail=_9CE8A72B-958F-4F1F-9E31-65B1C12BDAB3" Message-Id: <961F873F-2F90-4893-92BC-6D60C8B190D2@unistra.fr> Date: Thu, 12 Jul 2018 10:58:24 +0200 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Virus-Scanned: ClamAV using ClamSMTP X-Validation-by: magaud@unistra.fr Subject: [Caml-list] =?UTF-8?Q?JFLA_2019_=3A_1er_appel_=C3=A0_communicatio?= =?UTF-8?Q?ns?= Reply-To: Nicolas Magaud X-Loop: caml-list@inria.fr X-Sequence: 16987 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: --Apple-Mail=_9CE8A72B-958F-4F1F-9E31-65B1C12BDAB3 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 [ This message is intentionally written in French. ] * Merci de faire circuler : premier appel =C3=A0 communications * JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ ) Journ=C3=A9es Francophones des Langages Applicatifs Les Rousses dans le Jura du 30 janvier au 2 f=C3=A9vrier 2019=20 Dates importantes --------------------- 12 octobre 2018 : soumission des r=C3=A9sum=C3=A9s 19 octobre 2018 : soumission des articles 14 novembre 2018 : notification aux auteurs 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), port= ant 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=A9= crire un prototype, faire la d=C3=A9monstration d'un outil, rechercher de l'aide pour r=C3=A9= soudre un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9j=C3=A0 publ= i=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=3Djfla2019 Notez que toute intention de soumission doit =C3=AAtre annonc=C3=A9e au plu= s tard le 12 octobre 2018 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 : 12 octobre 2018 date limite de soumission des articles : 19 octobre 2018 --=20 Nicolas Magaud, ICube UMR 7357 CNRS Universit=C3=A9 de Strasbourg 300 bd S=C3=A9bastien Brant - CS 10413 - F-67412 Illkirch Cedex --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_9CE8A72B-958F-4F1F-9E31-65B1C12BDAB3 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
[ This message is intent= ionally written in French. ]

* Merci de faire circuler= : premier appel =C3=A0 communications *

          JFLA'2019 (https:/= /dpt-info.u-strasbg.fr/~magaud/JFLA2019/)

     &nbs= p;    Journ=C3=A9es Francophones des Langages Applicati= fs

     = ;     Les Rousses dans le Jura du 30 janvier au 2 f=C3=A9vrier 20= 19 


Dates importantes
-----------------= ----

12 octobre 2018 &= nbsp;: soumission des r=C3=A9sum=C3=A9s
19 octobre 2018  : soumission des articles
14 novembre 2018 : notification aux auteurs


Les JFLA r=C3=A9unisse= nt concepteurs, utilisateurs et th=C3=A9oriciens ; elles
ont pour ambition de couvrir les domaines des langages = applicatifs, de
la preuve formelle, d= e 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=A9m= antique, compilation,
  opt= imisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : impl=C3= =A9mentation, nouvelles tactiques,
&n= bsp; d=C3=A9veloppements pr=C3=A9sentant un int=C3=A9r=C3=AAt techniqu= e ou m=C3=A9thodologique.

. Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, e= xtraction
  de programmes, = mod=C3=A8les.

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

. V=C3=A9rification de pro= grammes ou de mod=C3=A8les, m=C3=A9thode d=C3=A9ductive,
  interpr=C3=A9tation abstraite, raffinement.=

. Utilisation industr= ielle des langages fonctionnels et applicatifs,
  ou des m=C3=A9thodes issues des preuves formelles, o= utils 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 bienveillantes et la plupart du temps
encourageantes et constructives, m=C3=AAme en ca= s de rejet.

Il n'y a d= onc 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 recher= che n'est pas enti=C3=A8rement finalis=C3=A9.

. Article court de huit pages au plus (bibliographi= e incluse), pour d=C3=A9crire un prototype,
  faire la d=C3=A9monstration d'un outil, rechercher de l'= aide pour r=C3=A9soudre
  u= n 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 devra =C3=AAtre soign=C3=A9e. Les 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 lor= s des journ=C3=A9es,
de vingt-cinq mi= nutes 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 l= a pr=C3=A9sentation devra
=C3=AAtre e= ffectu=C3=A9e en fran=C3=A7ais. N=C3=A9anmoins, dans le cas o=C3=B9 il s'ag= it d'une
republication au format cour= t d'un article d=C3=A9j=C3=A0 publi=C3=A9, la publication
doit =C3=AAtre en fran=C3=A7ais et la publication or= iginale 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://easy= chair.org/conferences/?conf=3Djfla2019


Notez que toute intention de soumissi= on doit =C3=AAtre annonc=C3=A9e au plus tard le 12
octobre 2018 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  : 12 octobre 20= 18
date limite de soumission des arti= cles : 19 octobre 2018

-- 
Nicolas Magaud, ICube UMR 7= 357 CNRS Universit=C3=A9 de Strasbourg
300 bd S=C3=A9bastien Brant - CS 10413 - F-67412 Illkirch Cedex= --Apple-Mail=_9CE8A72B-958F-4F1F-9E31-65B1C12BDAB3--