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 64BA27FE36 for ; Sun, 10 Jul 2016 20:22:00 +0200 (CEST) IronPort-PHdr: 9a23:8Cd82hw+JjxiE3PXCy+O+j09IxM/srCxBDY+r6Qd0e0TIJqq85mqBkHD//Il1AaPBtSDrakYwLOP4+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNWOxJ3uh6ibwN76W01wnj2zYLd/fl2djD76kY0ou7ZkMbs70RDTo3FFKKx8zGJsIk+PzV6nvp/jtLYqySlbuuog+shcSu26Ov1gFf0LRAghZks84cmjkRjYUUPb7XIZViASkwFUKwnD9hDzGJnr5HjUrO14jQuHOcz7S/gPWDuk6KNmU1e8ijoDNjM/tnrWhcp3iK9AiB2krh17hYXTZdfGZ7JFYqrBcIZCFiJ6VcFLWnkEW9vkYg== 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-io0-f176.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.223.176; 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.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; 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-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C2AABmkYJXhrDfVdFdhBR8BoJ4oxKHT4NKhV+ECR6HFAc8EAEBAQEBAQEBEQEBAQgLCwkhL4IyBAESAYIlBhEdARseAxIDDTcCJAERAQUBIjWHcwEDFw6SSI07ggeBMT4xizuBaoJaBYUjChknDVKDcgIGEIYXhgaGCYJaBYgckHyBW4QyiEWCOIIwikSIMoYeEh6BDw8mgVcMUgSBWToyAYhvAQEB X-IPAS-Result: A0C2AABmkYJXhrDfVdFdhBR8BoJ4oxKHT4NKhV+ECR6HFAc8EAEBAQEBAQEBEQEBAQgLCwkhL4IyBAESAYIlBhEdARseAxIDDTcCJAERAQUBIjWHcwEDFw6SSI07ggeBMT4xizuBaoJaBYUjChknDVKDcgIGEIYXhgaGCYJaBYgckHyBW4QyiEWCOIIwikSIMoYeEh6BDw8mgVcMUgSBWToyAYhvAQEB X-IronPort-AV: E=Sophos;i="5.28,340,1464645600"; d="scan'208,217";a="184431760" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Jul 2016 20:21:57 +0200 Received: by mail-io0-f176.google.com with SMTP id s93so40318319ioi.3 for ; Sun, 10 Jul 2016 11:21:57 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=msXCD2aj6DLZTLZyO0t8ZGrS/xRUOK3l1Ooxb86L0Iw=; b=QcC5dJisg3G4C/axUgQclI9p8uHOUpeiMKtoF8/huDwQ2gAXJzf1rSeuAuKfhrp8d/ BMcEz3H++cwBdKk5okIcWzzKtc2DagiNpr4Ou5ZnVbsE2I1CtbTS8PStW+HwlXJPEM0D rW5AI6/JRc2PaJ+2HmdYpeIL3Bdeu3kEW3ZBOXs3u+Lpp3X0smRUIZyK0SAssE/1KVXO VynYN5xy+0B+0KQ2ZDZv2lQLBVJhxGAuFN5tpRfwJlMbbD4VbmdW/idrrXdbzIle9qPE DQXmMETsuxg7JTl0fiIhkXYuTHm6dYix4ZcoTSAi9YsqBDtvCHHMSiAfNoX6rc70XDIU eP9g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=msXCD2aj6DLZTLZyO0t8ZGrS/xRUOK3l1Ooxb86L0Iw=; b=fbmTQDvWypf/WWyyzERNJKZ1bc4Zn3A8EHaTykG0/sb79IugRab+wXEPVjdNoFVSeR Q0so6fYsGOgCKFHd3GuA7SoMB5f1JjaN/83Zl22eCS7tEsBUraVRc0IMrnFUPEFEyc3L InhyHuF1OxPkXXdYXX6V8tKXjmHqMHVblrqpZcBU3ZuzjjVjp0ozmpX196H5fOdHAlco HIPcGSTBucryAHPn69/Pvr2CefS5JLlxMx/w9IJeqCSurtQ09TRaNMRklLhKA05pjE9e qLRsTruzZKLrpzNIAfgRwFQZ0aGfYeNpK1+4S9x4+ujAwcv3ES0ofkT5QphWanHbeTK7 G0Ag== X-Gm-Message-State: ALyK8tLVgVpNnod2+70X6d76LLzsuwC2ASI78aIAP/HWf896AQ8IiM2WcHaI6fHN7e5LDfz1gRkXgpwIDMqeUg== X-Received: by 10.107.180.199 with SMTP id d190mr16074879iof.151.1468174916107; Sun, 10 Jul 2016 11:21:56 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.30.83 with HTTP; Sun, 10 Jul 2016 11:21:55 -0700 (PDT) From: Julien Signoles Date: Sun, 10 Jul 2016 20:21:55 +0200 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=94eb2c06986a57d27005374c1c44 Subject: [Caml-list] =?UTF-8?Q?JFLA_2017_=3A_premier_appel_=C3=A0_communic?= =?UTF-8?Q?ations?= --94eb2c06986a57d27005374c1c44 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'2017 (http://jfla.inria.fr/2017/) Journ=C3=A9es Francophones des Langages Applicatifs dans les Pyr=C3=A9n=C3=A9es, du 4 au 7 janvier 2017 Dates importantes ----------------- 25 septembre 2016 : date limite de soumission des r=C3=A9sum=C3=A9s 09 octobre 2016 : date limite de soumission des articles 18 novembre 2016 : notification aux auteurs 27 novembre 2016 : remise des articles d=C3=A9finitifs 04 au 07 janvier 2017 : 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 invit=C3=A9s ------------- . Guillaume Burel (ENSIIE) sur "Dedukti, un v=C3=A9rificateur de preuve universel" (titre exact =C3= =A0 pr=C3=A9ciser) . Benjamin Canou (OCamlPro SAS) sur "comment programmer en OCaml aujourd'hui" (titre exact =C3=A0 pr=C3= =A9ciser) Expos=C3=A9s invit=C3=A9s ------------- . St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run) sur "langage, prouveur et autres outils d=C3=A9di=C3=A9s =C3=A0 la preuve= d'un micro-noyau" (titre exact =C3=A0 pr=C3=A9ciser) . second orateur invit=C3=A9 =C3=A0 pr=C3=A9ciser Comit=C3=A9 de programme ------------------- Julien Signoles CEA LIST (pr=C3=A9sident) Sylvie Boldo Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3= =A9sidente) June Andronick Data61/CSIRO et UNSW Anne-Gwenn Bosser ENIB, Lab-STICC Thomas Gazagnaire Docker Mohamed Iguernlala OCamlPro SAS Fr=C3=A9d=C3=A9ric Loulergue Universit=C3=A9 d'Orl=C3=A9ans Laurent Mounier Verimag, Universit=C3=A9 Grenoble Alpes Fran=C3=A7ois Pottier Inria Paris Sylvain Salvati Inria Bordeaux-Sud Ouest Mihaela Sighireanu IRIF, Universit=C3=A9 Paris 7 Francesco Zappa Nardeli Inria Paris Soumissions ----------- Nous acceptons deux types de soumissions : . Article de recherche de quinze pages au plus, 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 six pages au plus, pour d=C3=A9crire 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 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 est impos=C3=A9 : http://jfla.inria.fr/2017/actes.sty date limite de soumission des r=C3=A9sum=C3=A9s : 25 septembre 2016 date limite de soumission des articles : 09 octobre 2016 --94eb2c06986a57d27005374c1c44 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable 
[ This message is intentionally written in French. ]<=
br>
    * Merci de faire circuler : premier appel =C3=A0 communications =
*

              JFLA'2017 (http://jfla.inria.fr/2017/)

          Journ=C3=A9es Francophon=
es des Langages Applicatifs

             dans les Pyr=C3=A9n=C3=A9es=
, du 4 au 7 janvier 2017


Dates importantes
-----------------<=
br>
25 septembre 2016 : date limite de soumission des r=C3=A9sum=C3=A9s<=
br>09 octobre 2016   : date limite de soumission des articles
18 novembr=
e 2016  : notification aux auteurs
27 novembre 2016  : remise des articl=
es d=C3=A9finitifs
04 au 07 janvier 2017 : journ=C3=A9es

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 app=
licatifs : s=C3=A9mantique, compilation,
  optimisation, typage, mesures=
, extensions par d'autres paradigmes.

. Assistants de preuve : i=
mpl=C3=A9mentation, nouvelles tactiques,
  d=C3=A9veloppements pr=C3=A9s=
entant un int=C3=A9r=C3=AAt technique ou m=C3=A9thodologique.

. Logi=
que, 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=A9ductive, 
  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, tro=
is personnes s'ils sont rejet=C3=A9s. Les critiques
des relecteurs s=
ont toujours bienveillantes et la plupart du temps
encourageantes et con=
structives, m=C3=AAme en cas de rejet.

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

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

. Guillaume Burel (ENSIIE)
  sur "Dedukti, un v=C3=A9rific=
ateur de preuve universel" (titre exact =C3=A0 pr=C3=A9ciser)

.=
 Benjamin Canou (OCamlPro SAS)
  sur "comment programmer en OCaml a=
ujourd'hui" (titre exact =C3=A0 pr=C3=A9ciser)

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

. St=C3=A9phane Lescuyer et Florence =
Plateau (Prove and Run)
  sur "langage, prouveur et autres outils d=
=C3=A9di=C3=A9s =C3=A0 la preuve d'un micro-noyau"
  (titre exa=
ct =C3=A0 pr=C3=A9ciser)

. second orateur invit=C3=A9 =C3=A0 pr=C3=
=A9ciser

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

Juli=
en     Signoles       CEA LIST (pr=C3=A9sident)
Sylvie     Boldo        =
  Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3=A9sidente)
June      =
 Andronick      Data61/CSIRO et UNSW
Anne-Gwenn Bosser         ENIB, Lab=
-STICC
Thomas     Gazagnaire     Docker
Mohamed    Iguernlala     OCa=
mlPro SAS
Fr=C3=A9d=C3=A9ric   Loulergue      Universit=C3=A9 d'Orl=
=C3=A9ans
Laurent    Mounier        Verimag, Universit=C3=A9 Grenoble Al=
pes
Fran=C3=A7ois   Pottier        Inria Paris
Sylvain    Salvati    =
    Inria Bordeaux-Sud Ouest
Mihaela    Sighireanu     IRIF, Universit=
=C3=A9 Paris 7
Francesco  Zappa Nardeli  Inria Paris

Soumissions<=
br>-----------

Nous acceptons deux types de soumissions :

. A=
rticle de recherche de quinze pages au plus, portant sur des
  travaux o=
riginaux. Nous acceptons des travaux en cours, pour lesquels
  l'asp=
ect recherche n'est pas enti=C3=A8rement finalis=C3=A9.

. Articl=
e court de six pages au plus, pour d=C3=A9crire un prototype,
  faire la=
 d=C3=A9monstration d'un outil, rechercher de l'aide pour r=C3=A9so=
udre
  un probl=C3=A8me particulier, ou reparler d'un papier d=C3=A9=
j=C3=A0 publi=C3=A9.

Dans tous les cas, la forme de l'article de=
vra soign=C3=A9e. Les articles
s=C3=A9lectionn=C3=A9s seront publi=C3=A9=
s dans les actes de la conf=C3=A9rence, et les
auteurs seront invit=C3=
=A9s =C3=A0 faire une pr=C3=A9sentation lors des journ=C3=A9es,
de vingt=
-cinq minutes pour les articles longs et de quinze minutes pour
les cour=
ts.

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=A7ai=
s. N=C3=A9anmoins, dans le cas o=C3=B9 il s'agit d'une
republica=
tion au format court d'un article d=C3=A9j=C3=A0 publi=C3=A9, la public=
ation
doit =C3=AAtre en fran=C3=A7ais et la publication originale en ang=
lais.

Le style LaTeX est impos=C3=A9 :

  http://jfla.inria.fr/2017/actes.sty

=
date limite de soumission des r=C3=A9sum=C3=A9s  : 25 septembre 2016
dat=
e limite de soumission des articles : 09 octobre 2016
--94eb2c06986a57d27005374c1c44--