From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 28BEF7F734 for ; Wed, 23 Sep 2015 19:28:34 +0200 (CEST) IronPort-PHdr: 9a23:rUs34R3fFtRTPtFrsmDT+DRfVm0co7zxezQtwd8ZsegRI/ad9pjvdHbS+e9qxAeQG96Lt7QY0aGH6OjJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6OyZjtnLHps7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nhDGSUOr52AAGjEdmx9MRgzE9w3SX5HrsyK8uPAriweAOsijb60wWDmkp5xqRxnvjCocf2o77WXWh8o2l6NUphWlqgdXzIvdYYXTP/17KPCONegGTHZMC54CHxdKBZmxOs5WV7IM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=julien.signoles@gmail.com; spf=Pass smtp.mailfrom=julien.signoles@gmail.com; spf=None smtp.helo=postmaster@mail-yk0-f171.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.160.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.160.171 as permitted sender) identity=mailfrom; client-ip=209.85.160.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-yk0-f171.google.com) identity=helo; client-ip=209.85.160.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-yk0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BlAgD63wJWlKugVdFdg0M1aQaCXqgphmKCWIhngjKCQ4M2gUcHPBABAQEBAQEBARABAQEBBwsLCR8wgh2CGgYRHQEbDBIDEgMNNwIkAREBBQEiGxqHdgEDEg2aAI1BggWBMD4xi0aBbIJ5iXUKGScNVoRHAQUOhmWGOoJ4A1GCdIFDBYV8gTiOM4USh3mCFZFdhWwSI4EXESeCLxqBZTwzAYgkgUcBAQE X-IPAS-Result: A0BlAgD63wJWlKugVdFdg0M1aQaCXqgphmKCWIhngjKCQ4M2gUcHPBABAQEBAQEBARABAQEBBwsLCR8wgh2CGgYRHQEbDBIDEgMNNwIkAREBBQEiGxqHdgEDEg2aAI1BggWBMD4xi0aBbIJ5iXUKGScNVoRHAQUOhmWGOoJ4A1GCdIFDBYV8gTiOM4USh3mCFZFdhWwSI4EXESeCLxqBZTwzAYgkgUcBAQE X-IronPort-AV: E=Sophos;i="5.17,577,1437429600"; d="scan'208";a="148359669" Received: from mail-yk0-f171.google.com ([209.85.160.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Sep 2015 19:28:32 +0200 Received: by ykdz138 with SMTP id z138so48667409ykd.2 for ; Wed, 23 Sep 2015 10:28:31 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=qjdB+IeCZtacNXlsiPlXKEiX8v26zQSl3EC7fsMlhjY=; b=Ze/JzlO42eZ/DAXkXOrfetUg8XUYXI+zY57T6xTSYDFtyF6aqIlG64rT9t6tgGQd4M N8EOx/aThCn0urLYqOt4DtgzUecTL+PS6A0QSePyEY1bj1bwA3PwNTJxgchHYgxLV68N foL+DTbBc17TA83BKPsjkT5QUK+rJZlPD/nGclEKUoS+oarvgvYpOWQqRKtI0BYlp9bN KFbvpVpqwWPsg2GgJg3kGpHmsYFfOoWI0+JvIpifXNX0hZtiGWibO8BmpIIsB4y8n/no GXtXUFOAnqj+LVz+tkZdJdgCLod0IQg6hgjIk4qVl64fnLYOEQwHcZjIf39sIutM31K1 ynvw== MIME-Version: 1.0 X-Received: by 10.170.74.85 with SMTP id q82mr27124214ykq.94.1443029311712; Wed, 23 Sep 2015 10:28:31 -0700 (PDT) Received: by 10.37.215.138 with HTTP; Wed, 23 Sep 2015 10:28:31 -0700 (PDT) Date: Wed, 23 Sep 2015 19:28:31 +0200 Message-ID: From: Julien Signoles To: Caml List Content-Type: multipart/alternative; boundary=001a113a51d086772a05206d7152 Subject: [Caml-list] =?UTF-8?Q?JFLA_2016_=3A_premier_appel_=C3=A0_communic?= =?UTF-8?Q?ations?= --001a113a51d086772a05206d7152 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 communication * JFLA'2016 (http://jfla.inria.fr/2016/) Journ=C3=A9es Francophones des Langages Applicatifs en Bretagne du 27 au 30 janvier 2016 Dates importantes ----------------- 23 octobre 2015 : date limite de soumission des r=C3=A9sum=C3=A9s 30 octobre 2015 : date limite de soumission des papiers 04 d=C3=A9cembre 2015 : notification aux auteurs 18 d=C3=A9cembre 2015 : remise des articles d=C3=A9finitifs 27 au 30 janvier 2016 : journ=C3=A9es 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 ! Cours et expos=C3=A9s invit=C3=A9s ------------------------ . Pierre-Yves Strub (IMDEA Software Institute) . Nobuko Yoshida (Imperial College London) . Patrick Cousot (New York University) . Jonathan Protzenko (Microsoft Research) Comit=C3=A9 de programme ------------------- Jade Alglave Microsoft Research Cambridge et University College L= ondon (Pr=C3=A9sidente) Julien Signoles CEA LIST (Vice-pr=C3=A9sident) Thibaut Balabonski LRI, Universit=C3=A9 Paris-Sud Thomas Braibant Jane Street Sylvie Boldo Inria, LRI Cyril Cohen Inria Sophia Antipolis - M=C3=A9diterran=C3=A9e Claire David Universit=C3=A9 Paris-Est Marne-la-Vall=C3=A9e Cezara Dragoi Inria Paris-Rocquencourt Jean-Marie Madiot Princeton University Gustavo Petri LIAFA =E2=80=94 Univ. Paris Diderot (Paris 7) Boris Yakobowski CEA LIST Soumission ---------- Nous accepterons deux types de soumissions : . Article de recherche de quinze pages au plus, portant sur des travaux originaux. Nous accepterons volontiers des travaux en cours (pour lesquels l'aspect recherche n'est pas enti=C3=A8rement termin=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, les auteurs seront invit=C3=A9s =C3=A0 faire une pr=C3= =A9sentation en vingt-cinq minutes lors des journ=C3=A9es. . Expos=C3=A9 court (dix minutes) pour d=C3=A9crire un prototype, faire la d=C3=A9monstration d'un outil, reparler d'un article d=C3=A9j=C3= =A0 publi=C3=A9, rechercher de l'aide pour r=C3=A9soudre un probl=C3=A8me par= ticulier. Dans ce cas, nous vous demandons seulement de soumettre un r=C3=A9sum=C3= =A9 de deux =C3=A0 trois pages, qui nous permettra de s=C3=A9lectionner les orat= eurs en cas de forte affluence. Date limite de soumission des r=C3=A9sum=C3=A9s : 16 octobre 2015 Date limite de soumission des articles : 23 octobre 2015 Les soumissions doivent =C3=AAtre d=C3=A9pos=C3=A9es sur Easychair, =C3=A0 = l'adresse suivante : https://www.easychair.org/conferences/?conf=3Djfla16 Elles peuvent =C3=AAtre r=C3=A9dig=C3=A9es en anglais. Elles sont limit=C3= =A9es =C3=A0 15 pages A4 et le style LaTeX est impos=C3=A9 : http://jfla.inria.fr/2016/actes.sty --001a113a51d086772a05206d7152 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 communication *
              JFLA'2016 (ht=
tp://jfla.inria.fr/2016/)

          Journ=C3=A9es Francophones d=
es Langages Applicatifs

              en Bretagne du 27 au 30 janvie=
r 2016



Dates importantes
-----------------
23 octobre =
2015 : date limite de soumission des r=C3=A9sum=C3=A9s
30 octobre 2015 :=
 date limite de soumission des papiers
04 d=C3=A9cembre 2015 : notificat=
ion aux auteurs
18 d=C3=A9cembre 2015 : remise des articles d=C3=A9finit=
ifs
27 au 30 janvier 2016 : journ=C3=A9es


Les JFLA r=C3=A9uni=
ssent concepteurs, utilisateurs et th=C3=A9oriciens ; elles
ont pour amb=
ition de couvrir les domaines des langages applicatifs, de
la preuve for=
melle, de la v=C3=A9rification de programmes, et des objets
math=C3=A9ma=
tiques 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=A9mantique, compilation,
  optimisation, typage, mesures, extensi=
ons par d'autres paradigmes.

. Assistants de preuve : impl=C3=A9=
mentation, nouvelles tactiques,
  d=C3=A9veloppements pr=C3=A9sentant un=
 int=C3=A9r=C3=AAt technique ou m=C3=A9thodologique.

. Logique, corr=
espondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, extraction
  de pro=
grammes, mod=C3=A8les.

. Sp=C3=A9cification, prototypage, d=C3=A9vel=
oppements formels d'algorithmes.

. V=C3=A9rification de programm=
es ou de mod=C3=A8les, m=C3=A9thode d=C3=A9ductive, 
  interpr=C3=A9tati=
on abstraite, raffinement.

. Utilisation industrielle des langages f=
onctionnels et applicatifs,
  ou des m=C3=A9thodes issues des preuves fo=
rmelles, outils pour le web.

Les articles soumis aux JFLA sont relus=
 par au moins deux personnes
s'ils sont accept=C3=A9s, trois personn=
es s'ils sont rejet=C3=A9s. Les critiques
des relecteurs sont toujou=
rs 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 p=
as soumettre aux JFLA !


Cours et expos=C3=A9s invit=C3=A9s
--=
----------------------

. Pierre-Yves Strub (IMDEA Software Institute=
)
. Nobuko Yoshida (Imperial College London)

. Patrick Cousot (Ne=
w York University)
. Jonathan Protzenko (Microsoft Research)


=
Comit=C3=A9 de programme
-------------------

Jade Alglave        =
   Microsoft Research Cambridge et University College London
           =
            (Pr=C3=A9sidente)
Julien Signoles        CEA LIST (Vice-pr=
=C3=A9sident)
Thibaut Balabonski     LRI, Universit=C3=A9 Paris-Sud 
=
Thomas Braibant        Jane Street
Sylvie Boldo           Inria, LRI
=
Cyril Cohen            Inria Sophia Antipolis - M=C3=A9diterran=C3=A9e
C=
laire David           Universit=C3=A9 Paris-Est Marne-la-Vall=C3=A9e
Cez=
ara Dragoi          Inria Paris-Rocquencourt
Jean-Marie Madiot      Prin=
ceton University
Gustavo Petri          LIAFA =E2=80=94 Univ. Paris Dide=
rot (Paris 7)
Boris Yakobowski       CEA LIST


Soumission
-=
---------

Nous accepterons deux types de soumissions :

. Arti=
cle de recherche de quinze pages au plus, portant sur des
  travaux orig=
inaux. Nous accepterons volontiers des travaux en cours
  (pour lesquels=
 l'aspect recherche n'est pas enti=C3=A8rement termin=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, les auteurs seront invit=C3=A9s =C3=A0 fa=
ire une pr=C3=A9sentation en
  vingt-cinq minutes lors des journ=C3=A9es=
.

. Expos=C3=A9 court (dix minutes) pour d=C3=A9crire un prototype,<=
br>  faire la d=C3=A9monstration d'un outil, reparler d'un article =
d=C3=A9j=C3=A0
  publi=C3=A9, rechercher de l'aide pour r=C3=A9soudr=
e un probl=C3=A8me particulier.

  Dans ce cas, nous vous demandons s=
eulement de soumettre un r=C3=A9sum=C3=A9 de
  deux =C3=A0 trois pages, =
qui nous permettra de s=C3=A9lectionner les orateurs
  en cas de forte a=
ffluence.

Date limite de soumission des r=C3=A9sum=C3=A9s : 16 octob=
re 2015
Date limite de soumission des articles : 23 octobre 2015

=
Les soumissions doivent =C3=AAtre d=C3=A9pos=C3=A9es sur Easychair, =C3=A0 =
l'adresse
suivante :

  https://www.easychair.org/conferences/?conf=3Djf=
la16

Elles peuvent =C3=AAtre r=C3=A9dig=C3=A9es en anglais. Elle=
s sont limit=C3=A9es =C3=A0 15
pages A4 et le style LaTeX est impos=C3=
=A9 :

  http://jfla.=
inria.fr/2016/actes.sty

--001a113a51d086772a05206d7152--