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 C13692DF5 for ; Mon, 15 Oct 2018 08:35:10 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.54,384,1534802400"; d="scan'208,217";a="351117125" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Oct 2018 10:35:06 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E74DA8251A; Mon, 15 Oct 2018 10:35:05 +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 2846D824F6 for ; Mon, 15 Oct 2018 10:34:40 +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=3AhAYOMxyI+M1thJjXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OIXIJqq85mqBkHD//Il1AaPAd2Eraocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HRbglSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHolC?= =?us-ascii?q?gJKj03/m/JhMN/i6xWuwiuqwB6w4POYIGZKPhzc6XAdt0aX2pBWcNRWjRZDIO9?= =?us-ascii?q?c4QPCO4BMvxDr4LgoFUBtxS+ChOxBOzy1zRFgXr20rc10+s7DAHJwRctH88IsH?= =?us-ascii?q?TVt9X1KL0SXvqvwKnG1zXOdvVb0irz5ojPdxAuu/CMXbRofMXP00YvDAPEgUmQ?= =?us-ascii?q?qYP/PjOVzP4Bs2+B7+pvTe6vlncrqxptoji13MgskZLGho0PxlDK7yV0xps+K9?= =?us-ascii?q?6gSENjfNKpHodcuzuYOoZyWM8uXX9ktDggxrEYpJK2fjAGxIkpyhLDcfCKcYyF?= =?us-ascii?q?7gj/WOqLPzt1hGxpdbSijBio60eg0PfzVsys3VZKsCVFlt7Mu2gI1xPJ68iHTv?= =?us-ascii?q?t9/kC62TaTzQzT9/hIIVsolarBMZEh2aU/lpUJvUTNBC/6gET2jKmIeUU44uWk?= =?us-ascii?q?9urqbqn8qpKeM4J4kB/yProwlsClH+g0LwoDU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TZtYrVJcsBqa6kHgBYyZsj6xC+Dze9zNQYh2MIIEhLeBKdl4TpIU3BIOjkDfej?= =?us-ascii?q?hFShiCtkyOrDPr3lG5nNKnnDkKz9fbtm8E5dyA8zzchF6J5OC7EBJujzWk7ru9?= =?us-ascii?q?DCAB85KV/8/+GyA9x40sYaWHmTKq6fKqLb91GStcw1JOzZQo4evzL0MLAA7vHn?= =?us-ascii?q?kHNxzVoUcqC00bMKbnGjAu5vZUuDNym/yuwdGHsH61JtBNfhj0ePBGYKNiSCGp?= =?us-ascii?q?kk7zR+M7qISILKR4SjmruEhX3pA5tXfXxcAxaCCyWxLtnWa7I3cCuXZ/RZvHkc?= =?us-ascii?q?T7H4Ed080xC1qBXzjbR9fLKNp38o8Kn73d0w3NX90BE/8TsuVJaY2mCJT2Zvgi?= =?us-ascii?q?UVAiQqxqlkq0M7xE3RiaU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AmAQBdUMRbh9neT4JiFgYBAQEEAQEHB?= =?us-ascii?q?AEBgWWCagNqEiiDNj+IdaZaDSOJQQcBBDQWAQMBAQIBAQEBARMBAQEKCwkIKSM?= =?us-ascii?q?MgjYigmEBAQQNF0UWFBonAwJIKoMgAYF5CA+KQYxojmWBLolOBYtjggCBEicfh?= =?us-ascii?q?A2BWgEDGIRKMYImAoholUIJgQSFUYodhEOEaoZxjBgrhnKCeIFagXYzGggfEWU?= =?us-ascii?q?BgkE+gXQCGoR0g1aFPQNtjBwBAQ?= X-IPAS-Result: =?us-ascii?q?A0AmAQBdUMRbh9neT4JiFgYBAQEEAQEHBAEBgWWCagNqEii?= =?us-ascii?q?DNj+IdaZaDSOJQQcBBDQWAQMBAQIBAQEBARMBAQEKCwkIKSMMgjYigmEBAQQNF?= =?us-ascii?q?0UWFBonAwJIKoMgAYF5CA+KQYxojmWBLolOBYtjggCBEicfhA2BWgEDGIRKMYI?= =?us-ascii?q?mAoholUIJgQSFUYodhEOEaoZxjBgrhnKCeIFagXYzGggfEWUBgkE+gXQCGoR0g?= =?us-ascii?q?1aFPQNtjBwBAQ?= X-IronPort-AV: E=Sophos;i="5.54,384,1534802400"; d="scan'208,217";a="351116988" 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; 15 Oct 2018 10:34:39 +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 2F7DC6075F for ; Mon, 15 Oct 2018 10:34:38 +0200 (CEST) Received: from local-mr.u-strasbg.fr (localhost [127.0.0.1]) by antivirus (Postfix) with ESMTP id 0BF431F964 for ; Mon, 15 Oct 2018 10:34:38 +0200 (CEST) Received: from [172.29.60.107] (wifi-eduroam-0-252.u-strasbg.fr [130.79.0.252]) (Authenticated sender: magaud) by lmr2.u-strasbg.fr (Postfix) with ESMTPSA id D69F11F9A1 for ; Mon, 15 Oct 2018 10:34:35 +0200 (CEST) From: Nicolas Magaud Content-Type: multipart/alternative; boundary="Apple-Mail=_83BABF16-8D83-410E-84D8-12DDF69EA5EC" Message-Id: <622E0331-C39D-41BA-B817-91131E16372E@unistra.fr> Date: Mon, 15 Oct 2018 10:34:35 +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_dernier_appel_=C3=A0_communic?= =?UTF-8?Q?ations_et_extension_pour_les_r=C3=A9sum=C3=A9s_et_les_articles?= Reply-To: Nicolas Magaud X-Loop: caml-list@inria.fr X-Sequence: 17103 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=_83BABF16-8D83-410E-84D8-12DDF69EA5EC Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Suite =C3=A0 de nombreuses demandes, la limite pour soumettre les r=C3=A9su= m=C3=A9s est =C3=A9tendue au mercredi 17 octobre. La limite pour les articles complets est repouss=C3=A9e d=E2=80=99une semai= ne (nouvelle limite : 26 octobre 2018). Merci de soumettre vos r=C3=A9sum=C3=A9s d=C3=A8s que possible, m=C3=AAme s= i la limite pour les versions compl=C3=A8tes a =C3=A9t=C3=A9 repouss=C3=A9e. Nicolas Magaud > On 26 Sep 2018, at 16:18, Nicolas Magaud > wrote: >=20 > [ This message is intentionally written in French. ] >=20 > * Merci de faire circuler : dernier appel =C3=A0 communications * >=20 > JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ ) >=20 > Journ=C3=A9es Francophones des Langages Applicatifs >=20 > Les Rousses dans le Jura du 30 janvier au 2 f=C3=A9vrier 2019=20 >=20 >=20 > Dates importantes (quelques jours de plus pour le r=C3=A9sum=C3=A9, 1 sem= aine de plus pour l=E2=80=99article complet) > --------------------- >=20 > 17 octobre 2018 : soumission des r=C3=A9sum=C3=A9s > 26 octobre 2018 : soumission des articles > 19 novembre 2018 : notification aux auteurs >=20 >=20 > 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. >=20 > . Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation, > optimisation, typage, mesures, extensions par d'autres paradigmes. >=20 > . 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. >=20 > . Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, extra= ction > de programmes, mod=C3=A8les. >=20 > . Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'algorith= mes. >=20 > . V=C3=A9rification de programmes ou de mod=C3=A8les, m=C3=A9thode d=C3= =A9ductive, > interpr=C3=A9tation abstraite, raffinement. >=20 > . Utilisation industrielle des langages fonctionnels et applicatifs, > ou des m=C3=A9thodes issues des preuves formelles, outils pour le web. >=20 > 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 cr= itiques > des relecteurs sont toujours bienveillantes et la plupart du temps > encourageantes et constructives, m=C3=AAme en cas de rejet. >=20 > Il n'y a donc pas de raison de ne pas soumettre aux JFLA ! >=20 > Expos=C3=A9s invit=C3=A9s > ------------------ >=20 > . Ilaria Castellani, Inria Sophia-Antipolis M=C3=A9diterran=C3=A9e :=20 > Les types de sessions (titre exact =C3=A0 pr=C3=A9cier) >=20 > . Pierre Courtieu, CNAM Paris :=20 > Is your robotic swarm certified? (titre exact =C3=A0 pr=C3=A9ciser) >=20 >=20 > Cours invit=C3=A9s > --------------- >=20 > . Guillaume Melquiond, Inria Saclay :=20 > Arithm=C3=A9tique des ordinateurs et preuves formelles (titre exact =C3= =A0 pr=C3=A9ciser) >=20 > . Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne-Atlantique :=20 > Des th=C3=A9ories des types qui font de l'effet (titre exact =C3=A0 pr=C3= =A9ciser) >=20 >=20 > Soumissions > -------------- >=20 > Nous acceptons deux types de soumissions : >=20 > . Article de recherche de seize pages au plus (bibliographie incluse), po= rtant sur des > travaux originaux. Nous acceptons des travaux en cours, pour lesquels > l'aspect recherche n'est pas enti=C3=A8rement finalis=C3=A9. >=20 > . 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 pub= li=C3=A9. >=20 > Dans tous les cas, la forme de l'article devra =C3=AAtre soign=C3=A9e. Le= s 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 j= ourn=C3=A9es, > de vingt-cinq minutes pour les articles longs et de quinze minutes pour > les courts. >=20 > 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= publication > doit =C3=AAtre en fran=C3=A7ais et la publication originale en anglais. >=20 > Le style LaTeX Easychair doit =C3=AAtre respect=C3=A9 : > https://easychair.org/publications/for_authors >=20 > Les soumissions se font sur la page Easychair des JFLA : > https://easychair.org/conferences/?conf=3Djfla2019 >=20 >=20 > Notez que toute intention de soumission doit =C3=AAtre annonc=C3=A9e au p= lus tard le *17 > octobre 2018* par le d=C3=A9p=C3=B4t d'un r=C3=A9sum=C3=A9 sur Easychair. >=20 >=20 > date limite de soumission des r=C3=A9sum=C3=A9s : 17 octobre 2018 > date limite de soumission des articles : 26 octobre 2018 >=20 > --=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=_83BABF16-8D83-410E-84D8-12DDF69EA5EC Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 Suite =C3=A0 de nombreuses demandes, la = limite pour soumettre les r=C3=A9sum=C3=A9s est =C3=A9tendue au mercredi 17= octobre.
La limi= te pour les articles complets est repouss=C3=A9e d=E2=80=99une semaine (nou= velle limite : 26 octobre 2018).

Merci de soumettre vos r=C3=A9sum=C3=A9s d=C3=A8s que possible= , m=C3=AAme si la limite pour les versions compl=C3=A8tes a =C3=A9t=C3=A9 r= epouss=C3=A9e.
Nicol= as Magaud


= On 26 Sep 2018, at 16:18, Nicolas Magaud <magaud@unistra.fr> wrote:

[ This message is inte= ntionally written in French. ]

* Merci de fair= e circuler : dernier appel =C3=A0 communications *

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

&= nbsp;        Journ=C3=A9es Francoph= ones des Langages Applicatifs

  &nbs= p;      Les Rousses dans le Jura du 30 janvie= r au 2 f=C3=A9vrier 2019 


= Dates importantes (quelques jours de plus pour le r=C3=A9sum=C3=A9, 1 semai= ne de plus pour l=E2=80=99article complet)
------------------= ---

17 octobre 2018  : soumission des r= =C3=A9sum=C3=A9s
26 octobre 2018  : soumission des artic= les
19 novembre 2018 : notification aux auteurs


Les JFLA r=C3=A9unissent concepteurs, utilis= ateurs et th=C3=A9oriciens ; elles
ont pour ambition de couvr= ir les domaines des langages applicatifs, de
la preuve formel= le, de la v=C3=A9rification de programmes, et des objets
math= =C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AAtre<= br class=3D"">pris au sens large : nous souhaitons promouvoir les ponts ent= re
les diff=C3=A9rentes th=C3=A9matiques.

. Langages fonctionnels et applicatifs : s=C3=A9mantique, compila= tion,
 optimisation, typage, mesures, extensions par d'a= utres paradigmes.

. Assistants de preuve : imp= l=C3=A9mentation, nouvelles tactiques,
 d=C3=A9veloppeme= nts pr=C3=A9sentant un int=C3=A9r=C3=AAt technique ou m=C3=A9thodologique.<= br class=3D"">
. 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, m=C3=A9thode d=C3=A9duct= ive,
 interpr=C3=A9tation abstraite, raffinement.

. Utilisation industrielle des langages fonctionnels= et applicatifs,
 ou des m=C3=A9thodes issues des preuve= s 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 critiques<= br class=3D"">des relecteurs sont toujours bienveillantes et la plupart du = temps
encourageantes et constructives, m=C3=AAme en cas de re= jet.

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

Expos=C3=A9s invit=C3=A9s------------------

. Ilaria Castel= lani, Inria Sophia-Antipolis M=C3=A9diterran=C3=A9e : 
L= es types de sessions (titre exact =C3=A0 pr=C3=A9cier)

. Pierre Courtieu, CNAM Paris : 
Is your roboti= c swarm certified? (titre exact =C3=A0 pr=C3=A9ciser)


Cours invit=C3=A9s
---------------

. Guillaume Melquiond, Inria Saclay : 
Arithm=C3=A9tique des ordinateurs et preuves formelles (titre exac= t =C3=A0 pr=C3=A9ciser)

. Pierre-Marie P=C3=A9= drot, Inria Rennes-Bretagne-Atlantique : 
Des th=C3=A9or= ies des types qui font de l'effet (titre exact =C3=A0 pr=C3=A9ciser)


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

Nous acceptons deux types de soumissions :=

. Article de recherche de seize pages au plus= (bibliographie incluse), portant sur des
 travaux origi= naux. Nous acceptons des travaux en cours, pour lesquels
&nbs= p;l'aspect recherche n'est pas enti=C3=A8rement finalis=C3=A9.

. Article court de huit pages au plus (bibliographie inclu= se), pour d=C3=A9crire un prototype,
 faire la d=C3=A9mo= nstration 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= publi=C3=A9.

Dans tous les cas, la forme de l= 'article devra =C3=AAtre soign=C3=A9e. Les articles
s=C3=A9le= ctionn=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=A9sent= ation lors des journ=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=A9= e 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 publication
doit =C3=AAtre en fran=C3=A7ais et la = publication originale en anglais.

Le style LaT= eX Easychair doit =C3=AAtre respect=C3=A9 :
  https://ea= sychair.org/publications/for_authors

Les s= oumissions se font sur la page Easychair des JFLA :
 &nb= sp;https://easychair.org/conferences/?conf=3Djfla2019


Notez que toute intention de soumission doit =C3= =AAtre annonc=C3=A9e au plus tard le *17
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  : 17 octobre 2018
date limite = de soumission des articles : 26 octobre 2018

-- 
N= icolas Magaud, ICube UMR 7357 CNRS Universit=C3=A9 de Strasbourg
300 bd S=C3=A9bastien Brant - CS 10413 - F-67412 Illkirch Cedex
=
= --Apple-Mail=_83BABF16-8D83-410E-84D8-12DDF69EA5EC--