From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 F211B7F3B0 for ; Tue, 17 Dec 2019 21:48:46 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zaydargaye@gmail.com; spf=Pass smtp.mailfrom=zaydargaye@gmail.com; spf=None smtp.helo=postmaster@mail-qt1-f174.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of zaydargaye@gmail.com) identity=pra; client-ip=209.85.160.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="zaydargaye@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of zaydargaye@gmail.com designates 209.85.160.174 as permitted sender) identity=mailfrom; client-ip=209.85.160.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="zaydargaye@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-qt1-f174.google.com) identity=helo; client-ip=209.85.160.174; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="zaydargaye@gmail.com"; x-sender="postmaster@mail-qt1-f174.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AZotrAREofZuY2uNO3KYeaZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zpciwAkXT6L1XgUPTWs2DsrQY0rGQ6fi/EjVbsN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6txvdutUUjIdtN6o8xB/EqWZUdu?= =?us-ascii?q?pLwm9lOUidlAvm6Meq+55j/SVQu/Y/+MNFTK73Yac2Q6FGATo/K2w669HluhfF?= =?us-ascii?q?TQuU+3sTSX4WnQZSAwjE9x71QJH8uTbnu+Vn2SmaOcr2Ta0oWTmn8qxmRgPkhD?= =?us-ascii?q?sBOjUk927Xl8pwg79aoBK6uxN/x4nUYJqLO/VjY6jRedwXSXZEUstXSidPAJ6z?= =?us-ascii?q?b5EXAuUOPehWoYrzqUYSohajHgSjHv/jxyVSi3PqwaE30eIsGhzG0gw6GNIOtW?= =?us-ascii?q?zZrdTvO6YSV+C61qnIxijeYPxMwzf955LHcxA/rvqRWr9xcNDeyEkyGAzflFWQ?= =?us-ascii?q?ppbqPjOL2ekWvGib6vBvVeOri2I9tw5xpT2vy94qh4LUiIwVzVXE+j94wIYzPd?= =?us-ascii?q?C4SUh7YcSlEJRKrS2aOZF2TtshQ252uCc3xaMJuYClcygM1JQn3ATTZOCAc4iN?= =?us-ascii?q?5B/oSeWfIS9giX57ZL6ygwy+/Eugx+HmS8W50UpGojBYntTOuX0A0QHY5NKdRf?= =?us-ascii?q?tn5Eih3C6C1wDN5eFAJkA5ja/bJIQgwr40j5YTqFjDEjLvlEX4kaObdEop9vKn?= =?us-ascii?q?6+TgZbXmqZucOJFuhg7iNaQun9SzAeU+MgcQQ2iW4fqw2KHn8EHjQ7hHjuc6nr?= =?us-ascii?q?TYvZzGP8gXu6y0DgBN3oYm8Rm/DjOm0NoCnXkAKVJIYBOGgJLpOl7TOv/4F/i/?= =?us-ascii?q?jE6skTh13P3GMbjhDY/MLnjHirvuYbF960tExAop0d9f/45UCq0GIP/rRkD+rt?= =?us-ascii?q?nYDhsgPwywwubnE8l925gFWWOPB6+ZKLndvUWJ5uIpOemMZZUatCzzK/g/tLbS?= =?us-ascii?q?iiokn1McZqKt2oAaZDWiE/9nO0SUZ2b30IRSP30Nu18sRf3sgV3KXTdJaH+jUu?= =?us-ascii?q?po9DgqBIu8Ao7SS6iihbWA2GGwGZgANTMOMUyFDXq9L9bMYPwLci/Hfpc4w240?= =?us-ascii?q?EIO5Qopk7imA8Qrzyr5pNO3Ro3RKupfq1dwz7OrWx0hrqG5ESv+F2mTIdFla22?= =?us-ascii?q?MFQzhsgvJ6qE15j06fiO122qMEU9NU4PxNX0ExMpuOl7UmWeC3YRrIe5KycHjj?= =?us-ascii?q?Ws+vWGhjQdc4wttIaEF4SY2v?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D2BgDWPvldgK6gVdFlhQwpG4EHKoNEQ?= =?us-ascii?q?IEcgi0xizCMcoRgi24JAQMBDAUeDAEBgwqBNoIaHAcBBDQTAhABAQQBAQECAQI?= =?us-ascii?q?DBAETAQEJDQkIJ4VACwGCOwwagnUbBhEdARsNARADEgMNNwIkAREBBQEoAS45g?= =?us-ascii?q?kiCRQEDLg+TH4xyghyBAz2LJoEVBQEXgn8FhE8KGScNYwOBPAIHEoEkjBgagUE?= =?us-ascii?q?/gRE2hB+BYAMBARmBdIJjFIJKBI1BoURHgXeHL45hG3uCPIM+k1SXHZIWDyOBH?= =?us-ascii?q?CqBenCBAW0KgUQJRxEUjG48g1uBPokUAkMwAQuRcQEB?= X-IPAS-Result: =?us-ascii?q?A0D2BgDWPvldgK6gVdFlhQwpG4EHKoNEQIEcgi0xizCMcoR?= =?us-ascii?q?gi24JAQMBDAUeDAEBgwqBNoIaHAcBBDQTAhABAQQBAQECAQIDBAETAQEJDQkIJ?= =?us-ascii?q?4VACwGCOwwagnUbBhEdARsNARADEgMNNwIkAREBBQEoAS45gkiCRQEDLg+TH4x?= =?us-ascii?q?yghyBAz2LJoEVBQEXgn8FhE8KGScNYwOBPAIHEoEkjBgagUE/gRE2hB+BYAMBA?= =?us-ascii?q?RmBdIJjFIJKBI1BoURHgXeHL45hG3uCPIM+k1SXHZIWDyOBHCqBenCBAW0KgUQ?= =?us-ascii?q?JRxEUjG48g1uBPokUAkMwAQuRcQEB?= X-IronPort-AV: E=Sophos;i="5.69,326,1571695200"; d="scan'208,217";a="333513106" X-MGA-submission: =?us-ascii?q?MDFlD5Yr4NciK6ZsCIqhXXOFiuOKpM5bJxCpQ7?= =?us-ascii?q?q1lVPyluxMRtLpRXIeS5ki1mivA7LwmkKBRQ1iexi2EcJA8VVy7THlyJ?= =?us-ascii?q?djyxAjWRaNzkrFEYcTyijXLO5vITBqeR0U1R4mAiO5IPfkysYSiF/Kkk?= =?us-ascii?q?QVy6I3NR+UCY2sMrix3SY33A=3D=3D?= Received: from mail-qt1-f174.google.com ([209.85.160.174]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Dec 2019 21:48:33 +0100 Received: by mail-qt1-f174.google.com with SMTP id d5so24337qto.0 for ; Tue, 17 Dec 2019 12:48:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=6jE/5VO8Tb6+z8oMu/JnA1jcRBT/rti0gMmI6fDWCBk=; b=iZXWIphm/T98zgpJmwyFZ2XHq+T11yzMQCqT4b/kuQ25sXqthKFxtD2O0ZZKMzZ+kF AdV0Ob5An3CEq/jwDSGBtKgL15GZ4hQVmdvkj1OQpV7KDaMOrS5z2EcEo7zd9Y9aztCw 7j013082GsrtWf+/s0uiBeISnF9dUUAswDlDRqD9gIaVIFN19uU9lQUZfVCFlVhGZCo8 3H5MrPYoMuVKwkFjQ1upmeVV8ii/UTusGagyaU/vluGAltp1OCD6bcyjTct4hf4HFDOt bOvnArwxqbPxa56BrdIiVVvrlbiYQ7RIe0sKPy73IGRkDbMmctVMimp8zrkQv+MIFVzZ xl7g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=6jE/5VO8Tb6+z8oMu/JnA1jcRBT/rti0gMmI6fDWCBk=; b=Xf9HkjQ/vIHDmO9UVkDg6ePnjfuqWS/52hu8xEf4SeNw1aPkUOVwoNYv3SHTNHe3it o0c8D8v7obqxPa+u62R2Lff9PGMkhwfMwOQo1LHiiIYZax+HNKUClpohpd/F8syiVxkk ybgnY4R0cHwv2QkkXRBZt16+V3q4LzC+C6yvfRKXYxh4JgUSSfNrpz4g8Bvp4AgBW0jq BJymApr9xaZMwe5h6EUxRnEVP2bL1sMgKiK2li3jo+Vd23UQ5/0BAEHdR3er0tOe9rxa 5E9g9ZlOswOF1/z8zbJDKwBlf1vRTnlRhJovTVV2ahbw5fHo1Ft/4tMxQcNCy/bkAAJW OiJA== X-Gm-Message-State: APjAAAWuocquYtPAdsJoNj53rasizCYgGk1r19S5479Ow63OHS1WAVEY +Ygh/3vp9hxW7W1i+UcfqC+QR609/y9nMU/0XBC2Dh/3Vug= X-Google-Smtp-Source: APXvYqzPEJ3r/jaX2luUO84TE+9Cqz5p4O56bDFWNNIRzk0Vq9Pmyj+nx7vUwPrm/ZukJxYDbo0hQhRX1x9HH9fHg5o= X-Received: by 2002:ac8:5448:: with SMTP id d8mr6198885qtq.205.1576615711712; Tue, 17 Dec 2019 12:48:31 -0800 (PST) MIME-Version: 1.0 From: zaynah dargaye Date: Tue, 17 Dec 2019 21:48:20 +0100 Message-ID: To: undisclosed-recipients:; Content-Type: multipart/alternative; boundary="00000000000071ab110599ec7301" Subject: [Caml-list] =?UTF-8?Q?JFLA_2020_=7C_Second_appel_=C3=A0_participa?= =?UTF-8?Q?tion?= --00000000000071ab110599ec7301 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *Merci de faire circuler : second appel =C3=A0 participation * JFLA'2020 (http://jfla.inria.fr/jfla2020.html) Journ=C3=A9es Francophones des Langages Applicatifs Gruissan - du 29 janvier au 1 f=C3=A9vrier 2020 Les inscriptions aux JFLA 2020 sont d=C3=A9sormais ouvertes : https://secure.key4events.com/key4register/register.aspx?e=3D1146&c=3D107= 12 Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oric= iens ; 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=AA= tre pris au sens large : nous souhaitons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matiques. L'inscription est un forfait qui comprend notamment l'h=C3=A9bergement en pension compl=C3=A8te sur le site des journ=C3=A9es : - participant.e plein tarif, chambre simple : 600 euros - =C3=A9tudiant.e orateur.e, en chambre double : 0 euro Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces jou= rn=C3=A9es. Inscrivez-vous d=C3=A8s que possible ! En particulier, les =C3=A9tudiant.e.s orateur.e.s sont invit=C3=A9.e.s =C3= =A0 s'inscrire, m=C3=AAme s'ils ne paient pas gr=C3=A2ce =C3=A0 nos sponsors. Dates importantes ----------------- *8 janvier 2020 : date limite d'inscription aux journ=C3=A9es* 29 janvier au 1er f=C3=A9vrier 2020 : journ=C3=A9es Cours invit=C3=A9s ------------- * Sylvain Conchon, LRI, Universit=C3=A9 Paris-Saclay "Cubicle : Model Checking Modulo Th=C3=A9ories" * Claire Dross, AdaCore "SPARK 2014 : La Preuve de Programme pour les D=C3=A9veloppeurs" Expos=C3=A9s invit=C3=A9s --------------- * Pierre-=C3=89variste Dagand, CNRS, Inria, Sorbonne Universit=C3=A9 "L'exp=C3=A9rience Usuba : un compilateur post-Moore" * Hugo Herbelin, INRIA Paris, IRIF Th=C3=A9orie des types cubiques, =C3=A9galit=C3=A9 polymorphe ad hoc et = param=C3=A9tricit=C3=A9 it=C3=A9r=C3=A9e Articles accept=C3=A9s ----------------- Le *programme d=C3=A9taill=C3=A9* est disponible sur: http://jfla.inria.fr/jfla2020.html#programme Comit=C3=A9 de programme ------------------- Zaynah Dargaye, Nomadic Labs (pr=C3=A9sidente) Yann Regis-Gianas, IRIF (vice-pr=C3=A9sident) Valentin Blot, Inria Saclay Vincent Botbol, Nomadic Labs Emmanuel Chailloux Lip6, Universit=C3=A9 Paris-Sorbonne Delphine Demange, Inria Rennes-Bretagne Atlantique Chantal Keller LRI, Universit=C3=A9 Paris-Sud Marie Kerjean Inria Rennes-Bretagne Atlantique Alain Mebsout, OCamlPro Julien Narboux, ICube, Universit=C3=A9 de Strasbourg Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne Atlantique Marie Pelleau, universit=C3=A9 de Nice Gabriel Scherer, Inria Saclay --00000000000071ab110599ec7301 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*Merci de faire circuler : second appel =C3=A0 partic= ipation *

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 JFLA'2020 = (http://jf= la.inria.fr/jfla2020.html)

=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 Gruissan - =C2=A0du 29 janvier au 1 f=C3= =A9vrier 2020


Les inscriptions aux JFLA 2020 sont d=C3=A9sormais= ouvertes :

=C2=A0 https://secure= .key4events.com/key4register/register.aspx?e=3D1146&c=3D10712
Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9or= iciens ; elles
ont pour ambition de couvrir les domaines des langages a= pplicatifs, de
la preuve formelle, de la v=C3=A9rification de programme= s, et des objets
math=C3=A9matiques qui sous-tendent ces outils. Ces do= maines doivent =C3=AAtre
pris au sens large : nous souhaitons promouvoi= r les ponts entre les
diff=C3=A9rentes th=C3=A9matiques.

L'i= nscription est un forfait qui comprend notamment l'h=C3=A9bergement en =
pension compl=C3=A8te sur le site des journ=C3=A9es :
- participant.= e plein tarif, chambre simple : 600 euros
- =C3=A9tudiant.e orateur.e, e= n chambre double : 0 euro


Nous esp=C3=A9rons que vous serez nomb= reux =C3=A0 participer =C3=A0 ces journ=C3=A9es.
Inscrivez-vous d=C3=A8s= que possible !
En particulier, les =C3=A9tudiant.e.s orateur.e.s sont i= nvit=C3=A9.e.s =C3=A0 s'inscrire, m=C3=AAme
s'ils ne paient pas= gr=C3=A2ce =C3=A0 nos sponsors.


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

8 janvier 2020 : date limite d'inscription aux journ= =C3=A9es
29 janvier au 1er f=C3=A9vrier 2020 : journ=C3=A9es

= Cours invit=C3=A9s
-------------
* Sylvain Conchon, LRI, Universit=C3= =A9 Paris-Saclay
=C2=A0 =C2=A0 =C2=A0"Cubicle : Model Checking Modu= lo Th=C3=A9ories"

* Claire Dross, AdaCore
=C2=A0 =C2=A0 &quo= t;SPARK 2014 : La Preuve de Programme pour les D=C3=A9veloppeurs"
<= br>
Expos=C3=A9s invit=C3=A9s
---------------
* Pierre-=C3=89varis= te Dagand, CNRS, Inria, Sorbonne Universit=C3=A9
=C2=A0 =C2=A0"L= 9;exp=C3=A9rience Usuba : un compilateur post-Moore"

* Hugo Her= belin, INRIA Paris, IRIF
=C2=A0=C2=A0 Th= =C3=A9orie des types cubiques, =C3=A9galit=C3=A9 polymorphe ad hoc et param= =C3=A9tricit=C3=A9 it=C3=A9r=C3=A9e =20=20=20=20=20=20

Articles accept=C3=A9s
-----------------
Le pro= gramme d=C3=A9taill=C3=A9 est disponible sur:
=C2=A0 =C2=A0http://= jfla.inria.fr/jfla2020.html#programme
=C2=A0

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

Zaynah Dargaye, Nomadic Labs (pr=C3= =A9sidente)
Yann Regis-Gianas, IRIF (vice-pr=C3=A9sident)

Valentin Blo= t, Inria Saclay
Vincent Botbol, Nomadic Labs
Emmanuel Chailloux Lip6,= Universit=C3=A9 Paris-Sorbonne
Delphine Demange, Inria Rennes-Bretagne = Atlantique
Chantal Keller LRI, Universit=C3=A9 Paris-Sud
Marie Kerjea= n Inria Rennes-Bretagne Atlantique
Alain Mebsout, OCamlPro
Julien Nar= boux, ICube, Universit=C3=A9 de Strasbourg
Pierre-Marie P=C3=A9drot, Inr= ia Rennes-Bretagne Atlantique
Marie Pelleau, universit=C3=A9 de Nice
= Gabriel Scherer, Inria Saclay
--00000000000071ab110599ec7301--