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 c5ff346549e7 (Postfix) with ESMTPS id 37F1F5D5 for ; Sun, 24 Nov 2019 23:53:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,239,1571695200"; d="scan'208,217";a="413264501" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Nov 2019 00:53:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 271127F396; Mon, 25 Nov 2019 00:53:29 +0100 (CET) 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 1EC4B7ED20 for ; Mon, 25 Nov 2019 00:53:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=zaydargaye@gmail.com; spf=Pass smtp.mailfrom=zaydargaye@gmail.com; spf=None smtp.helo=postmaster@mail-qk1-f176.google.com IronPort-PHdr: =?us-ascii?q?9a23=3A8+P3/h/dJ5MaWf9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+ocTK2v8tzYMVDF4r011RmVBN6dsq8VwLOM+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZLebxhGiTanfL9/LBG7oQrMusUInIBvNrs/xhzVr3VSZu?= =?us-ascii?q?9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnY?= =?us-ascii?q?UQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gy?= =?us-ascii?q?kFKjE56nnahcNwgqxVoxyvugJxzJLPbY6PKPZzZLnQcc8GSWdDWMtaSixPApm7?= =?us-ascii?q?b4sKF+cAPPxXron7p1QUrRu1GBSjC/n1yj9HnHD33bM12PkmHADHxgMhH88Bv2?= =?us-ascii?q?7OrNX6LqgTUf66wbLHzTXGdfxW2DP95JLUfRAmpPGBRLR9etffx0koEgPKlFSQ?= =?us-ascii?q?qYr9MjOU0OQNqWmb4PB6WeKhkW4rswJxrSavx8ojlIbJmJwaylbY9SVi2oo6Od?= =?us-ascii?q?q4SEt9bNW5E5VQrzmXO5VqTs4mWW1luyY3xqcYtZKlYiQG0okryhzeZvGBboOG?= =?us-ascii?q?+AjsVPyLLjd9nH9leKywhxK18UW4z+3zTMi00FJToipckdnAq2kB1xLO5sWFS/?= =?us-ascii?q?Zx5Eih2TGI1wDc7uFLP1o4mrbcK54k2rIwl5wTvlrfHiLuhkn6kKubel8n9+Wo?= =?us-ascii?q?8ejrfKvqqoGGO4NpiAzzM7wimsmlDuQ5NggOUXKb+eO51LD7/Ez2WrVLgeAsna?= =?us-ascii?q?nDv5DVP8QaqbCiDg9a14Ys8Re/DzO83NsEmnkHKUpJeAibgIjxJ1HOPPf4AO+j?= =?us-ascii?q?jFu2lTdrw+nKPrngApXWMnjOi6zhfLZ4605E0gU/19Ff55ROCrEAOv3/QEHxtM?= =?us-ascii?q?aLRiM+Zge9xuKiDNRmyqsfX3iOC+mXKvD8q1iNs/AmMu+FZMcZsSzyIukor6r8?= =?us-ascii?q?hG41kEUSdLik9ZQSYXG8WP9hJhPKMjLXnt4dHDJS7UIFR+vwhQjaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXYjii+F5xSIGtBDwLVSCu6R8C/Q/4JLRmqDIp5iDVd?= =?us-ascii?q?DOquToYg0Velswqok+M6fNqRwTURsNfY7PYw5+DXkktspzl9DsDYymLUCm8twT?= =?us-ascii?q?1OSDgx06Ry50d6zwXb3A=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B7CwC9FttdhrDeVdFlHgELHIRGRFQzK?= =?us-ascii?q?oQrgRyCXosMjHGEYIoGgWcJAQMBDAUeDAEBhB8hgiwcBwEENBMCEAEBBAEBAQI?= =?us-ascii?q?BAgMEARMBAQEICwsIKYU+DII7IoMOER0BGw0BEAMSAwYHNwIkAREBBQFXgwABg?= =?us-ascii?q?kUBAy4PkT2McoIcgQM9iyWBFQUBF4J/BYRDChknDWMDgTwCBxKBJIwWGoFAP4E?= =?us-ascii?q?RNoV/AwEBGYELaYJjgl4EjSihCkeBboccjjgbgzKDOZMxlwKRbw8jgRwqgXpwg?= =?us-ascii?q?QGCOwlHERSGSBqDWYE+iRQCQzABC5FRAQE?= X-IPAS-Result: =?us-ascii?q?A0B7CwC9FttdhrDeVdFlHgELHIRGRFQzKoQrgRyCXosMjHG?= =?us-ascii?q?EYIoGgWcJAQMBDAUeDAEBhB8hgiwcBwEENBMCEAEBBAEBAQIBAgMEARMBAQEIC?= =?us-ascii?q?wsIKYU+DII7IoMOER0BGw0BEAMSAwYHNwIkAREBBQFXgwABgkUBAy4PkT2McoI?= =?us-ascii?q?cgQM9iyWBFQUBF4J/BYRDChknDWMDgTwCBxKBJIwWGoFAP4ERNoV/AwEBGYELa?= =?us-ascii?q?YJjgl4EjSihCkeBboccjjgbgzKDOZMxlwKRbw8jgRwqgXpwgQGCOwlHERSGSBq?= =?us-ascii?q?DWYE+iRQCQzABC5FRAQE?= X-IronPort-AV: E=Sophos;i="5.69,239,1571695200"; d="scan'208,217";a="413264493" X-MGA-submission: =?us-ascii?q?MDFTlr1YXitLTV4f4l3TeEH4oO8LuSDyLjXJW3?= =?us-ascii?q?YuTk2X+3Oa63hR3MhZbse82IRildF1V4AsJxWoOy8JSUmJP/AVJ7ExEg?= =?us-ascii?q?zIoRPxrXPuMsZbxeB53/rg8MQmMeYCuwSSRQF84iWaR+D52CZ5Yerarm?= =?us-ascii?q?1kDzXcECy2xounvOBsc8Pn0g=3D=3D?= Received: from mail-qk1-f176.google.com ([209.85.222.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Nov 2019 00:53:22 +0100 Received: by mail-qk1-f176.google.com with SMTP id d13so11210980qko.3 for ; Sun, 24 Nov 2019 15:53:22 -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=VkyZxCA91SXrcF/2Y5b6/3qMOivTg81RK7b4q2gZt6k=; b=o8Gaz1U2PKlncJq82/rqSZyHbwSM0R4cbe6j3DMU+WC1ElYdOoIvLlRaVl+6VpTQu/ TzD+qYkejuYQSCkjNuHvbKkDeHJCKHlHgfEF7xV2BLSpLW6nVi+9/iicp7fcirevrI3y Zz9hjedHJuSW7+9846hZNv0b2FVhlwNv7PKltrCAgbwH+9XhwmELUP3Fsd22Ki7/T+A+ DbT+mlYc4r+s1XTdeIaen/baoXKkw7otYZfhZCyWL23Lekvf/sqSexi2Rt55dtL+od/K XXWar/4NCSDCudH+RPR9KHayXavsHYcJwyJrrVZoIqXGjnyDd2ARj79rI7ORUflu3Erv CLow== 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=VkyZxCA91SXrcF/2Y5b6/3qMOivTg81RK7b4q2gZt6k=; b=brXcQs5botRTKAvphhXm+cMf++KFpAexlFO0/k75X0CRtbEECtQbw2BZHyxZ2fGvEJ cTumjEtyZCJU6qgnyyShCt8VFT9a2jTILiVgq86E/w1xuQ/11+GomTO3y3K5qqoXuDkw J9UNOlKB0zXmr/MwPozoB4v+kC+7stNTdnk55COR7dqAuImepUQCobKghJzOSxp5Paqq bTzqHIqARLkstRWSIt3SwuluZYY2yoEiR16yEmXMXTjs3FXzFBSJlzK1udz73JCfw2eP Hc1gi8c1KbUtBVDbITBaJ1XtVwtPq4GZKrHdTuoPfh7xHQjc12iZgKm4qVIVg+/31rg3 OeIw== X-Gm-Message-State: APjAAAV7OebIt8e5B8AUS7FIuNg2VxO9zT1vFSeoqFr4cmM1Ba5PbpnI JRVpoLvii132YmxRYGGNg3p1C4kmgzBa5OyTeNh6JqTOSm0= X-Google-Smtp-Source: APXvYqwlS4rBREF5gFuaJRPz2DAHB6EHyrk4uceXq0xUjZY3CPNz/5lPnB2cfu41loeIegYV3ppDbi/tK9EmMzK/zys= X-Received: by 2002:a37:e317:: with SMTP id y23mr9716569qki.431.1574639600372; Sun, 24 Nov 2019 15:53:20 -0800 (PST) MIME-Version: 1.0 From: zaynah dargaye Date: Mon, 25 Nov 2019 00:53:09 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000078fec0598205af5" Subject: [Caml-list] =?UTF-8?Q?jfla_2020_=7C_1er_appel_=C3=A0_communicatio?= =?UTF-8?Q?n?= Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 17878 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --000000000000078fec0598205af5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *Merci de faire circuler : premier appel =C3=A0 communications * 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 single : 600 euros - =C3=A9tudiant.e orateur.e : 0 euros 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=A9tudiants orateurs sont invit=C3=A9s =C3=A0 s'insc= rire, 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 fevrier 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 Titre =C3=A0 venir Articles accept=C3=A9s ----------------- La liste des papiers accept=C3=A9s 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 --000000000000078fec0598205af5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
*Merci de faire circuler : premier appel =C3=A0 communicat= ions *

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 JFLA'2020 (http://jfla.inria.fr/jfla2020.ht= ml)

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Journ=C3=A9es Fran= cophones 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


Le= s inscriptions aux JFLA 2020 sont d=C3=A9sormais ouvertes :

=C2=A0 <= a href=3D"https://secure.key4events.com/key4register/register.aspx?e=3D1146= &c=3D10712">https://secure.key4events.com/key4register/register.aspx?e= =3D1146&c=3D10712

Ces journ=C3=A9es r=C3=A9unissent concepte= urs, utilisateurs et th=C3=A9oriciens ; elles
ont pour ambition de couv= rir 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 la= rge : nous souhaitons promouvoir les ponts entre les
diff=C3=A9rentes t= h=C3=A9matiques.

L'inscription est un forfait qui comprend notam= ment l'h=C3=A9bergement en
pension compl=C3=A8te sur le site des jo= urn=C3=A9es :
- participant.e plein tarif, chambre single : 600 euros- =C3=A9tudiant.e orateur.e : 0 euros


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 !
En particulier, les =C3=A9tudiants orateurs= sont invit=C3=A9s =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 fevrier 2020 : journ=C3=A9es

Cours inv= it=C3=A9s
-------------
* Sylvain Conchon, LRI, Universit=C3=A9 Paris= -Saclay
=C2=A0 =C2=A0 =C2=A0"Cubicle: Model Checking Modulo Th=C3= =A9ories"

* Claire Dross, AdaCore
=C2=A0 =C2=A0 "SPARK = 2014: La Preuve de Programme pour les D=C3=A9veloppeurs"


Ex= pos=C3=A9s invit=C3=A9s
---------------
* Pierre-=C3=89variste Dagand= , CNRS, Inria, Sorbonne Universit=C3=A9
=C2=A0 =C2=A0"L'exp=C3= =A9rience Usuba : un compilateur post-Moore"

* Hugo Herbelin, I= NRIA Paris, IRIF
=C2=A0 =C2=A0Titre =C3=A0 venir

Articles accept= =C3=A9s
-----------------
La liste des papiers accept=C3=A9s est disp= onible sur:
=C2=A0 =C2=A0http://jfla.inria.fr/jfla2020.html#programme
=C2=A0
Comit=C3=A9 de programme
-------------------

Zaynah Dargaye, No= madic Labs (pr=C3=A9sidente)
Yann Regis-Gianas, IRIF (vice-pr=C3=A9side= nt)

Valentin Blot, Inria Saclay
Vincent Botbol, Nomadic Labs
E= mmanuel Chailloux Lip6, Universit=C3=A9 Paris-Sorbonne
Delphine Demange,= Inria Rennes-Bretagne Atlantique
Chantal Keller LRI, Universit=C3=A9 Pa= ris-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, univ= ersit=C3=A9 de Nice
Gabriel Scherer, Inria Saclay
--000000000000078fec0598205af5--