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 763567F64A for ; Fri, 8 Jan 2016 11:57:19 +0100 (CET) IronPort-PHdr: 9a23:sEqCNxTT8VQKUxQ2gNdeCqnlqNpsv+yvbD5Q0YIujvd0So/mwa64YxeN2/xhgRfzUJnB7Loc0qyN4/6mATRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niabqo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DLKSA/HwnoHTi1CmRNNB03B7Qrmdpb3qCrz8ORnjnq0J8rzGJIpXTWv6e9QSRDujyMKLHZt8nzTi8F2yrlarxSmoxFk64HRaYCRcvF5e/WOLpshWWNdU5MJBGR6CYSmYt5KVrJZMA== 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-f177.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.177; 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.177 as permitted sender) identity=mailfrom; client-ip=209.85.223.177; 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-f177.google.com) identity=helo; client-ip=209.85.223.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-io0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DbAQC/lY9WnLHfVdFegm5qNG0GiFOpFoMahRiEBRgBCYI9hEsHPBABAQEBAQEBARABAQEBAQYNCQkhLoItgiARHQEbHgMSAw03AiQBEQEFASITCBqHdwEDEg6TSI1GggeBMT4xi0iBaoJ5iBQKGScNV4JGAQUOhkiJM4MFDC4TgTYFh16PL4VDiBWCJoxVhwKGABEkgRc5glGBZT00AYVgAQEB X-IPAS-Result: A0DbAQC/lY9WnLHfVdFegm5qNG0GiFOpFoMahRiEBRgBCYI9hEsHPBABAQEBAQEBARABAQEBAQYNCQkhLoItgiARHQEbHgMSAw03AiQBEQEFASITCBqHdwEDEg6TSI1GggeBMT4xi0iBaoJ5iBQKGScNV4JGAQUOhkiJM4MFDC4TgTYFh16PL4VDiBWCJoxVhwKGABEkgRc5glGBZT00AYVgAQEB X-IronPort-AV: E=Sophos;i="5.20,538,1444687200"; d="scan'208";a="196250769" Received: from mail-io0-f177.google.com ([209.85.223.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 08 Jan 2016 11:56:46 +0100 Received: by mail-io0-f177.google.com with SMTP id g73so84888160ioe.3 for ; Fri, 08 Jan 2016 02:56:46 -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=7Ho3QgLlTfSkd8Wku06qLW/xOmBDWuIJQ7zsSkTpoAE=; b=xTIsZuiYdWP/1wXKS7NdGkNaWnhIATNyeQ0WIxTlsH4enPBXoYSuXRGV5YR+Takh2H CUztSwx6De9ypTqYNzXQ9+f0aEk85JWq9n14/1mFCA6/IkNm+1ltLZkxUBVz4BbuP+Cn w+YR5qzIe1Y063DuZgtWBPRWJgTEB5AQPieRaZyvaX299jaCcA2a8tRoQei2FD8MCQb4 85HX+2p7i27N77j8hFMga+zXXFWtqk4qhVs5jr/2NsMvb/6mjwBacNrTPU8IvXGN2eV+ tDrdIsfo/elhPBlUGX7j1LpLSfnaRWE10s++XSUVlqlZxPhmR+Yocw+FQ3DJDR3mLlrE gdwQ== MIME-Version: 1.0 X-Received: by 10.107.150.141 with SMTP id y135mr15992878iod.52.1452250604606; Fri, 08 Jan 2016 02:56:44 -0800 (PST) Received: by 10.79.24.133 with HTTP; Fri, 8 Jan 2016 02:56:44 -0800 (PST) Date: Fri, 8 Jan 2016 11:56:44 +0100 Message-ID: From: Julien Signoles To: Caml List Content-Type: multipart/alternative; boundary=001a11403fd4699a180528d0717d Subject: [Caml-list] =?UTF-8?Q?JFLA=2716_=3A_2=C3=A8me_appel_=C3=A0_partic?= =?UTF-8?Q?ipation?= --001a11403fd4699a180528d0717d 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 ouvertes jusqu'au 17 janvier 2016. Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces journ=C3= =A9es ; inscrivez-vous d=C3=A8s que possible! Programme --------- Le programme des journ=C3=A9es est disponible en ligne : http://jfla.inria.fr/2016/programme.html 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). The global sequence protocol: a memory model for distributed systems. 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 --001a11403fd4699a180528d0717d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[This message is intentionally written in French.]


=C2=A0=C2=A0 *** Appel =C3=A0 participation, merci de diffuser largemen= t ***


=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.in= ria.fr/2016/)

=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Journ=C3=A9es Francophones d= es 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, du 27 au 30 janvier 2016


Les incriptions aux JFLAs 2016 sont ouvertes jusqu'au 17 janvier 20= 16.=20 Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces jou= rn=C3=A9es ;=20 inscrivez-vous d=C3=A8s que possible!


Programme
---------

Le programme des journ=C3=A9es est disponible en ligne :

=C2=A0=C2=A0=C2=A0 http://jfla.inria.fr/2016/programme.html

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).
=C2=A0=C2=A0=C2=A0 Une introduction =C3=A0 la preuve de s=C3=A9curit=C3= =A9 formelle avec le syst=C3=A8me=20 EasyCrypt.

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

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

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

* Jonathan Protzenko (Microsoft Research).
=C2=A0=C2=A0=C2=A0 The global sequence protocol: a memory model for dis= tributed systems.

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

* S. Archipoff et D. Janin.
=C2=A0=C2=A0=C2=A0 Pour un raffinement spatio-temporel 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 Abstract Separation Logic for Interlinked Extensi= ble Records.
* B. Canou, =C3=87. Bozman et G. Henry.
=C2=A0=C2=A0=C2=A0 Sous le capot du MOOC OCaml.
* 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 progr= ammation Web en OCaml.
* 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 d= e 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 diagnosis 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=A9sentation court= e).
* 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=20 courte).
* B. Rognier et G. Duhamel.
=C2=A0=C2=A0=C2=A0 Pr=C3=A9sentation de la plateforme edukera (pr=C3=A9= sentation courte).

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

Pour tout renseignement, contacter
=C2=A0 Julien Signoles <julien.signoles@cea.fr>
--001a11403fd4699a180528d0717d--