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 sympa.inria.fr (Postfix) with ESMTPS id 42C307FB76 for ; Fri, 23 Oct 2015 17:10:59 +0200 (CEST) IronPort-PHdr: 9a23:tbeVMxdZqFocfE2VnMb9urRLlGMj4u6mDksu8pMizoh2WeGdxc69bR7h7PlgxGXEQZ/co6odzbGG7ua4BydQvd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDvvcWNKFUUzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IeezAcq85Vb1VCig9eyBwvZWz9EqLcQzazXIZVi0ykwFUS1zO5RT+G5PwqTfSt+xn2SDcM9egHp4uXjH3zbpvSRLuwBwGODg+9GzMwphykaZarRTnvB1wxYnQbZq9O/93f6ebdtQfEzkSFv1NXjBMV9vvJ7AECPAMaKMB99Hw Authentication-Results: mail2-smtp-roc.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-f172.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.223.172 as permitted sender) identity=mailfrom; client-ip=209.85.223.172; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f172.google.com) identity=helo; client-ip=209.85.223.172; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-io0-f172.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DDBgCfTSpWlKzfVdFeg1U1bwaCXqhAhniCcIR+hgghgkOEcQc8EAEBAQEBAQEBEAEBAQEHCwsJHzCCK4IaBhEdARsMEgMSAw03AiQBEQEFASIbGod4AQMSDZVdjUaCCIExPjGLSYFsgnmIRQoZJw1WhDABBQ6GaYY7gngDg0WBRQWGB4E5jmuFGYgFgiCSRoV0EiOBFziCSQmBXjw0AYR6gUgBAQE X-IPAS-Result: A0DDBgCfTSpWlKzfVdFeg1U1bwaCXqhAhniCcIR+hgghgkOEcQc8EAEBAQEBAQEBEAEBAQEHCwsJHzCCK4IaBhEdARsMEgMSAw03AiQBEQEFASIbGod4AQMSDZVdjUaCCIExPjGLSYFsgnmIRQoZJw1WhDABBQ6GaYY7gngDg0WBRQWGB4E5jmuFGYgFgiCSRoV0EiOBFziCSQmBXjw0AYR6gUgBAQE X-IronPort-AV: E=Sophos;i="5.20,186,1444687200"; d="scan'208";a="184211400" Received: from mail-io0-f172.google.com ([209.85.223.172]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Oct 2015 17:10:43 +0200 Received: by iofz202 with SMTP id z202so126856016iof.2 for ; Fri, 23 Oct 2015 08:10:42 -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=jRCV3StN7cVsqYpBEU9CNfx07/Zvw1/Mf830RKHIiMg=; b=VZ9HjCBAkVIMj5M9ip1b4Pb0MQ4SbAy/QraGvOPW113ogeF6R8TNvambiQ6etxt50Q 0KkOUS8LLmN1JJcJeduSPCwcLHW0jFmJurSYWee0+ncUSJ3uqsxL+haUHr1MWvVdtlAO FDDuLJZSwsp4YmXgCmTYogwRLanz572mkxGzDwFZkX4WEMBX2ZcdFg8K/jIsLnmOjGaP 1BLI/NG4533jWd5fOo2QDVCy+4I7vKSOI+WoyVvSU1tmIcmBAxL10EHVXTaVa+gMv7+c B1KRhF7748O0EDZmcrw5xK0hdK3e2iryZG1IAqxg2ozy4khPzcTzD+Vh4EM/12lCMTHU lXSA== MIME-Version: 1.0 X-Received: by 10.107.133.157 with SMTP id p29mr27336949ioi.71.1445613042252; Fri, 23 Oct 2015 08:10:42 -0700 (PDT) Received: by 10.79.105.1 with HTTP; Fri, 23 Oct 2015 08:10:42 -0700 (PDT) Date: Fri, 23 Oct 2015 17:10:42 +0200 Message-ID: From: Julien Signoles To: Caml List Content-Type: multipart/alternative; boundary=001a113fb1e8ddc3260522c7039c Subject: [Caml-list] =?UTF-8?Q?JFLA_2016_=3A_dates_limites_=C3=A9tendues?= --001a113fb1e8ddc3260522c7039c Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [ This message is intentionally written in French. ] * Merci de faire circuler : dates limites =C3=A9tendues * JFLA'2016 (http://jfla.inria.fr/2016/) Journ=C3=A9es Francophones des Langages Applicatifs non loin de Saint-Malo (Bretagne), du 27 au 30 janvier 2016 Dates importantes ----------------- ** extension ** 28 octobre 2015 : date limite de soumission des r=C3=A9sum= =C3=A9s ** extension ** 06 novembre 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 invit=C3=A9s ------------- . Pierre-Yves Strub (IMDEA Software Institute) . Nobuko Yoshida (Imperial College London) Expos=C3=A9s invit=C3=A9s --------------- . Patrick Cousot (New 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 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 : 28 octobre 2015 Date limite de soumission des articles : 6 novembre 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 --001a113fb1e8ddc3260522c7039c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[ This message is intentionally written in French. ]


=C2=A0=C2=A0=C2=A0 * Merci de faire circuler : dates limites =C3=A9tend= ues *

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 JFLA'2= 016 (http://jfla.inria.fr= /2016/)

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Journ=C3=A9es Francophones des Langages = Applicatifs

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 non loin de Saint-Malo (Bretagne),

=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 du 27 au 30 janvier 2016



Dates importantes
-----------------
** extension ** 28 octobre 2015 : date limite de soumission des r=C3=A9= sum=C3=A9s
** extension ** 06 novembre 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 = ; 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.

. Langages fonctionnels et applicatifs : s=C3=A9mantique, compilation,
=C2=A0 optimisation, typage, mesures, extensions par d'autres parad= igmes.

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

. Logique, correspondance de Curry-Howard, r=C3=A9alisabilit=C3=A9, ext= raction
=C2=A0 de programmes, mod=C3=A8les.

. Sp=C3=A9cification, prototypage, d=C3=A9veloppements formels d'al= gorithmes.

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

. Utilisation industrielle des langages fonctionnels et applicatifs,
=C2=A0 ou des m=C3=A9thodes issues des preuves formelles, outils pour l= e 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 cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !


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

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

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

. Patrick Cousot (New York University)
. Jonathan Protzenko (Microsoft Research)


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

Jade Alglave=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 Microsoft Research Cambridge et University=20 College London
=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=A0=C2=A0=C2=A0 (Pr=C3=A9si= dente)
Julien Signoles=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 CEA LIST (Vic= e-pr=C3=A9sident)
Thibaut Balabonski=C2=A0=C2=A0=C2=A0=C2=A0 LRI, Universit=C3=A9 Paris-S= ud
Thomas Braibant=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Jane Street
Sylvie Boldo=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 Inria, LRI
Cyril Cohen=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Inria Sophia Antipolis - M=C3=A9diterran=C3=A9e
Claire David=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0 Universit=C3=A9 Paris-Est Marne-la-Vall=C3=A9e
Cezara Dragoi=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Inr= ia Paris-Rocquencourt
Jean-Marie Madiot=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Princeton University
Gustavo Petri=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 LIA= FA =E2=80=94 Univ. Paris Diderot (Paris 7)
Boris Yakobowski=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 CEA LIST


Soumission
----------

Nous accepterons deux types de soumissions :

. Article de recherche de quinze pages au plus, portant sur des
=C2=A0 travaux originaux. Nous accepterons volontiers des travaux en co= urs
=C2=A0 (pour lesquels l'aspect recherche n'est pas enti=C3=A8re= ment termin=C3=A9) ;
=C2=A0 dans tous les cas, la forme de l'article devra =C3=AAtre soi= gn=C3=A9e.

=C2=A0 Les articles s=C3=A9lectionn=C3=A9s seront publi=C3=A9s dans les= actes de la
=C2=A0 conf=C3=A9rence, les auteurs seront invit=C3=A9s =C3=A0 faire un= e pr=C3=A9sentation en
=C2=A0 vingt-cinq minutes lors des journ=C3=A9es.

. Expos=C3=A9 court (dix minutes) pour d=C3=A9crire un prototype,
=C2=A0 faire la d=C3=A9monstration d'un outil, reparler d'un ar= ticle d=C3=A9j=C3=A0
=C2=A0 publi=C3=A9, rechercher de l'aide pour r=C3=A9soudre un prob= l=C3=A8me particulier.

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

Date limite de soumission des r=C3=A9sum=C3=A9s : 28 octobre 2015
Date limite de soumission des articles : 6 novembre 2015

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

=C2=A0 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 :

=C2=A0 http:= //jfla.inria.fr/2016/actes.sty
--001a113fb1e8ddc3260522c7039c--