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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A45AD7FD06 for ; Mon, 14 Dec 2015 11:36:22 +0100 (CET) IronPort-PHdr: 9a23:kA3+zxcO1+MEjpetbGFfAFmilGMj4u6mDksu8pMizoh2WeGdxc69Zx7h7PlgxGXEQZ/co6odzbGG7ea4ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTpkbjqs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+nhDGSUOr52AAGjEdmx9MRgzE9w3SX5HrsyK8uPAriweAOsijb60wWDmkp5xqRxnvjCocf2o77WXWh8o2l6NUphWlqgdXzIvdYYXTP/17KPCONegGTHZMC54CHxdKBZmxOs5WV7IM 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-ig0-f182.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.213.182; 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.213.182 as permitted sender) identity=mailfrom; client-ip=209.85.213.182; 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-ig0-f182.google.com) identity=helo; client-ip=209.85.213.182; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-ig0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BiBQBzmm5Wm7bVVdEbA0CDWTRuBrJjgw+FF4FughwXAQWCQYRIBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYIgER0BGx4DEgMNNwIkAREBBQEiEyKHdwEDEox/Vo1GggiBMT4xi0iBaoJ5h10KGScNVoQOAQUOhkiJNYMFDC4TgTYFh1mPHYU1iA+CJJMlhX4SJIEXESeCUoFePTSFFQEBAQ X-IPAS-Result: A0BiBQBzmm5Wm7bVVdEbA0CDWTRuBrJjgw+FF4FughwXAQWCQYRIBzwQAQEBAQEBAQEQAQEBAQEGCwsJIS6CLYIgER0BGx4DEgMNNwIkAREBBQEiEyKHdwEDEox/Vo1GggiBMT4xi0iBaoJ5h10KGScNVoQOAQUOhkiJNYMFDC4TgTYFh1mPHYU1iA+CJJMlhX4SJIEXESeCUoFePTSFFQEBAQ X-IronPort-AV: E=Sophos;i="5.20,426,1444687200"; d="scan'208";a="191939411" Received: from mail-ig0-f182.google.com ([209.85.213.182]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 14 Dec 2015 11:36:20 +0100 Received: by mail-ig0-f182.google.com with SMTP id g19so78793117igv.1 for ; Mon, 14 Dec 2015 02:36:20 -0800 (PST) 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=I7RHJJ5WAKXY62osqz7/+Y1fQC+DUlik50u3nXeYPWw=; b=Q9p2cCA/GJNJwk2IL3Q/HUIwqoR8i6EFuN/88rgloQykB0gjnIe2yHZ+Anpvub3KPq lttRJZtugmRXBj43XsJC0dqvAS2VcUGE+kz24nmGgwFwq4C7sRlLJ4kU3zZXj0xtsFIl 5YC/VZbxp4pQFpIvYHPyiqB+7aqJSZ60DlZcdpwO/l+8B5LJ+SyHFC2kgySMBer74Z3y VOyjVRol9dQSz18bSjelU73RDYuMgi5zRP1FMIiKAsSRWE11rLsaVOQwjBr4s/V3FpEd i1zSSIYu5AJMB0r/PKnNI2LpERWS24nfZmgpPV/z7Ea2XmiM/KMwPzlbrPPurUeYd7kS sacQ== MIME-Version: 1.0 X-Received: by 10.50.4.71 with SMTP id i7mr17698683igi.60.1450089379866; Mon, 14 Dec 2015 02:36:19 -0800 (PST) Received: by 10.79.94.5 with HTTP; Mon, 14 Dec 2015 02:36:19 -0800 (PST) Date: Mon, 14 Dec 2015 11:36:19 +0100 Message-ID: From: Julien Signoles To: Caml List Content-Type: multipart/alternative; boundary=001a11c3001a612fac0526d93e7c Subject: [Caml-list] =?UTF-8?Q?JFLA=2716_=3A_appel_=C3=A0_participation?= --001a11c3001a612fac0526d93e7c Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [this message is intentionally written in French.] *** Appel =C3=A0 participation, merci de diffuser largement *** JFLA'2016 (http://jfla.inria.fr/2016/) Journ=C3=A9es Francophones des Langages Applicatifs =C3=A0 Saint Malo, du 27 au 30 janvier 2016 Les incriptions aux JFLAs 2016 sont d=C3=A9sormais ouvertes. Vous trouverez ci-dessous la liste des expos=C3=A9s pr=C3=A9vus. Nous esp=C3=A9rons que vo= us serez nombreux =C3=A0 participer =C3=A0 ces journ=C3=A9es ; inscrivez-vous d=C3= =A8s que possible! Dates importantes ----------------- 17 janvier 2016 : date limite d'inscription aux journ=C3=A9es 27 au 30 janvier 2016 : journ=C3=A9es Cours invit=C3=A9s ------------- * Pierre-Yves Strub (IMDEA Software Institute). Une introduction =C3=A0 la preuve de s=C3=A9curit=C3=A9 formelle avec l= e syst=C3=A8me EasyCrypt. * Nobuko Yoshida (Imperial College London). Session types and their applications. Expos=C3=A9s invit=C3=A9s --------------- * Patrick Cousot (New York University). Construction of invariance proof methods. * Jonathan Protzenko (Microsoft Research). Articles accept=C3=A9s ----------------- * S. Archipoff et D. Janin. Pour un raffinement spatio-temporel tuil=C3=A9. * P.-L. B=C3=A9gay, P. Manoury et I. Rakotonirina. Une mesure ordinale pour les preuves de terminaison en Coq. * M. Bodin, T. Jensen and A. Schmitt. An Abstract Separation Logic for Interlinked Extensible Records. * B. Canou, =C3=87. Bozman et G. Henry. Sous le capot du MOOC OCaml. * S. Castellan. Weak memory models using event structures. * R. El Siba=C3=AFe et E. Chailloux. Pendulum : une extension r=C3=A9active pour la programmation Web en OCa= ml. * J.-C. Filli=C3=A2tre et M. Pereira. It=C3=A9rer avec confiance. * C. Gries, P. Boutry et J. Narboux. Somme des angles d'un triangle et unicit=C3=A9 de la parall=C3=A8le : une preuve d'=C3=A9quivalence formalis=C3=A9e en Coq. * F. Pottier. Reachability and error diagnosis in LR(1) automata. * A.-G. Bosser, P. Courtieu, J. Forest et M.-V. Aponte. Une preuve est une histoire (pr=C3=A9sentation courte). * J.-C. Lechenet, N. Kosmatov. et P. Le Gall. Coq a dit : fromage tranch=C3=A9 ne peut cacher ses trous (pr=C3=A9sent= ation courte). * B. Rognier et G. Duhamel. Pr=C3=A9sentation de la plateforme edukera (pr=C3=A9sentation courte). 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 Pour tout renseignement, contacter Julien Signoles --001a11c3001a612fac0526d93e7c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
=C2=A0[this message is intentionally written in French.]

=C2=A0=C2=A0 *** Appel =C3=A0 participation, merci de diffuser l= argement ***


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

=C2=A0=C2=A0=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 =C3=A0 Saint Malo, d= u 27 au 30 janvier 2016


Les incriptions aux JFLAs 2016 sont d=C3= =A9sormais ouvertes. Vous trouverez
ci-dessous la liste des expos=C3=A9s= pr=C3=A9vus. Nous esp=C3=A9rons que vous serez
nombreux =C3=A0 particip= er =C3=A0 ces journ=C3=A9es ; inscrivez-vous d=C3=A8s que possible!

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

17 janvier 2016 : date li= mite d'inscription aux journ=C3=A9es

27 au 30 janvier 2016 : jou= rn=C3=A9es

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

* Pierre-Yves = Strub (IMDEA Software Institute).
=C2=A0=C2=A0=C2=A0 Une introduction = =C3=A0 la preuve de s=C3=A9curit=C3=A9 formelle avec le syst=C3=A8me EasyCr= ypt.

* Nobuko Yoshida (Imperial College London).
=C2=A0=C2=A0=C2= =A0 Session types and their applications.

Expos=C3=A9s invit=C3=A9s<= br>---------------

* Patrick Cousot (New York University).
=C2=A0= =C2=A0=C2=A0 Construction of invariance proof methods.

* Jonathan Pr= otzenko (Microsoft Research).
=C2=A0=C2=A0=C2=A0 <titre =C3=A0 pr=C3= =A9ciser>

Articles accept=C3=A9s
-----------------

* S.= Archipoff et D. Janin.
=C2=A0=C2=A0=C2=A0 Pour un raffinement spatio-te= mporel tuil=C3=A9.
* P.-L. B=C3=A9gay, P. Manoury et I. Rakotonirina.=C2=A0=C2=A0=C2=A0 Une mesure ordinale pour les preuves de terminaison en = Coq.
* M. Bodin, T. Jensen and A. Schmitt.
=C2=A0=C2=A0=C2=A0 An Abst= ract Separation Logic for Interlinked Extensible Records.
* B. Canou, = =C3=87. Bozman et G. Henry.
=C2=A0=C2=A0=C2=A0 Sous le capot du MOOC OCa= ml.
* S. Castellan.
=C2=A0=C2=A0=C2=A0 Weak memory models using event= structures.
* R. El Siba=C3=AFe et E. Chailloux.
=C2=A0=C2=A0=C2=A0 = Pendulum : une extension r=C3=A9active pour la programmation Web en OCaml.<= br>* J.-C. Filli=C3=A2tre et M. Pereira.
=C2=A0=C2=A0=C2=A0 It=C3=A9rer = avec confiance.
* C. Gries, P. Boutry et J. Narboux.
=C2=A0=C2=A0=C2= =A0 Somme des angles d'un triangle et unicit=C3=A9 de la parall=C3=A8le= :
=C2=A0=C2=A0=C2=A0 une preuve d'=C3=A9quivalence formalis=C3=A9e = en Coq.
* F. Pottier.
=C2=A0=C2=A0=C2=A0 Reachability and error diagn= osis in LR(1) automata.

* A.-G. Bosser, P. Courtieu, J. Forest et M.= -V. Aponte.
=C2=A0=C2=A0=C2=A0 Une preuve est une histoire (pr=C3=A9sent= ation courte).
* J.-C. Lechenet, N. Kosmatov. et P. Le Gall.
=C2=A0= =C2=A0=C2=A0 Coq a dit : fromage tranch=C3=A9 ne peut cacher ses trous (pr= =C3=A9sentation courte).
* B. Rognier et G. Duhamel.
=C2=A0=C2=A0=C2= =A0 Pr=C3=A9sentation de la plateforme edukera (pr=C3=A9sentation courte).<= br>
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 Rese= arch Cambridge et University 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=A9sidente)
Julien Signoles=C2=A0= =C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 CEA LIST (Vice-pr=C3=A9sident)
Thib= aut Balabonski=C2=A0=C2=A0=C2=A0=C2=A0 LRI, Universit=C3=A9 Paris-Sud
T= homas Braibant=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Jane Street
Syl= vie 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 Davi= d=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 Inria Paris-Rocquencourt
Jean-Marie Madio= t=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 LIAFA =E2=80=94 Univ. Pari= s Diderot (Paris 7)
Boris Yakobowski=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= CEA LIST

Pour tout renseignement, contacter
=C2=A0 Julien Signol= es <julien.signoles@cea.fr= >

--001a11c3001a612fac0526d93e7c--