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 D89055D5 for ; Mon, 25 Nov 2019 11:22:59 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.69,241,1571695200"; d="scan'208,217";a="413349488" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Nov 2019 12:22:58 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 99E5D7F39F; Mon, 25 Nov 2019 12:22:58 +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 C1F1B7ED20 for ; Mon, 25 Nov 2019 12:22:51 +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-qt1-f170.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AOyFk4hTotlQLK4W8aScnMEzWzNpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa69bBWN2/xhgRfzUJnB7Loc0qyK6vumADJZqsze+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAi4oAnLq8UbgJZuJqkvxhbLv3BFZ/?= =?us-ascii?q?lYyWR0KFyJgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7ULJVEi0oP3g668P3uxbD?= =?us-ascii?q?SxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5LplRRP0lC?= =?us-ascii?q?sKMSMy/WfKgcJyka1bugqsqBN/zYDaY4+bKeRwcb/AcN4BX2VNQtxcWjZdDo+g?= =?us-ascii?q?bYYCCfcKM+ZCr4n6olsDtRq/ChOsBePp0DBIhmL90rAg3OQ7HgHJxgwhEMwTu3?= =?us-ascii?q?nTrdT6LqcTXv2vw6nSwjXMdfNX1inm5YjHdxAuu/CMXbZqfcXNzkkvEhrIg1ON?= =?us-ascii?q?ooLrODOV0/4Cs2md7+d4VOKvjXQnqwBrrTS1yMcskJHFhoELxVHE+ih23pg1Ks?= =?us-ascii?q?O+SE5net6oCodftyafN4ZwX8gsQHlotT4kxrEavZO3ZisHxZQ9yxLCavGLb5KE?= =?us-ascii?q?7g/hWeqNJzpzmWhrd6ilhxmo9Eit0u38Wdew0FZNtidFl8PDtnEJ1xDK88iHVu?= =?us-ascii?q?Zx8l6v2TqS1Q3f9vtIIU8zlarcJJ4hxqA/moAPvkTEGy/6gET2jKmIeUU44uWk?= =?us-ascii?q?9fjrb7H8qpKfN4J4kBzyP6UylsClHOg1MBQCU3Ce+eum1b3j+UP5QK9Njv0ziq?= =?us-ascii?q?TYsYrVJMQGqaGjGQ9V3Zws6hahADq939QYmGMILFNBeB6dk4fpPFTOLOjiDfij?= =?us-ascii?q?m1SsjCtrx/feM7L9GJrNK3zDnK7lfbZ88E5c1BE+zctf5pJRErEOOuj/Wk73tN?= =?us-ascii?q?zCDx82KRa4w+j9CIY16oRLUmWWR6SdLan6sFmS5+tpLfPfSpUSvWPvIukj7v6m?= =?us-ascii?q?gXYjllYMcOH9z5IGZHmiEf13Lm2WZHPthpEKFmJc7Vl2d/DjlFDXCW0bXH21Ra?= =?us-ascii?q?9pvmhnWrLjNp/KQ8WWuJLExD2yR8QEaWVPC1TKGnDtJd3dBqU8LRmKK8okqQQq?= =?us-ascii?q?ELisT4h7i0OrvQ7+jqN7d6/ao3JA853k09dx6qvYkhRgrWUlXfTY6HmESiRPpk?= =?us-ascii?q?1NQjY32K5lpkkkkwWM1KF5h7pTEtkBvv4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BdBgD8uNtdhqqgVdFlHgELHIRGRFQzK?= =?us-ascii?q?oNrQIEcgl6LDIxxhGCLbQkBAwEMBR4MAQGEQIIvHAcBBDQTAhABAQQBAQECAQI?= =?us-ascii?q?DBAETAQEBCAsLCCmFPgyCOyKDCAYRHQEbDQEQAxIDDTcCJAERAQUBV4MAAYJFA?= =?us-ascii?q?QMuD5N9jHKCHIEDPYslgRUFAReCfwWETQoZJw1jA4E8AgcSgSSMFhqBQD+BETa?= =?us-ascii?q?EH4FgAwEBGYF0gmOCXgSNKKEKR4FuhxyOOBuDMoM5kzGXApFvDyOBHCqBenCBA?= =?us-ascii?q?YI7CUcRFIZIGAKDWYE+iRQCQzABC45BAQE?= X-IPAS-Result: =?us-ascii?q?A0BdBgD8uNtdhqqgVdFlHgELHIRGRFQzKoNrQIEcgl6LDIx?= =?us-ascii?q?xhGCLbQkBAwEMBR4MAQGEQIIvHAcBBDQTAhABAQQBAQECAQIDBAETAQEBCAsLC?= =?us-ascii?q?CmFPgyCOyKDCAYRHQEbDQEQAxIDDTcCJAERAQUBV4MAAYJFAQMuD5N9jHKCHIE?= =?us-ascii?q?DPYslgRUFAReCfwWETQoZJw1jA4E8AgcSgSSMFhqBQD+BETaEH4FgAwEBGYF0g?= =?us-ascii?q?mOCXgSNKKEKR4FuhxyOOBuDMoM5kzGXApFvDyOBHCqBenCBAYI7CUcRFIZIGAK?= =?us-ascii?q?DWYE+iRQCQzABC45BAQE?= X-IronPort-AV: E=Sophos;i="5.69,241,1571695200"; d="scan'208,217";a="413349464" X-MGA-submission: =?us-ascii?q?MDGF7SkKC12/E9351GvYMRniasY00J3n1KWq4f?= =?us-ascii?q?Ns9hj3+on2VUV3hGhY4IwAjGkUbVQ8emkXyXV9FAon2g73/EW0d9DSRp?= =?us-ascii?q?6HoL3R+ntoZpA4VXAx1VtaXN/sub+oyO35hO2VemYWfNgYh9hxpSV3PU?= =?us-ascii?q?c4xJoYcRtZTX6E04YHmSWUYg=3D=3D?= Received: from mail-qt1-f170.google.com ([209.85.160.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Nov 2019 12:22:50 +0100 Received: by mail-qt1-f170.google.com with SMTP id 59so11199866qtg.8 for ; Mon, 25 Nov 2019 03:22:50 -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=JKCStOJB0+4kzltwVD96W9Wd35yCDEn31W25PcOBBMM=; b=CBUUPgSeUFPYQHz8PGMW1KI7OitdW4sKwNzp6O1Y5rICDK0u8lOOmLFre5FeC3jeyX swQIn29EW5ERAzmi9MNkJ4T3KuUBFjd69nhT7rjRG4OIyL0p2nwevF/8XS53a475j9jg 2UQTrItN10/PL2Ucyd6nhbvsZGOerXakPO3cleLOm1CvaCoaYclvxrVCFdqggpkwypWk TM8u+iA3drMt8oqCFoevgtfScFLpNZLXLvL6palJYyAyCCvWm55kgNtxc/XFyh59PRzB 9QZzDVFfx6QquT6dO6InFUjn3+Bh/uM0XS5bzFwp1Zszqw4JFBHNqbLwDvtG2g9dhjfV 1KKQ== 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=JKCStOJB0+4kzltwVD96W9Wd35yCDEn31W25PcOBBMM=; b=Woi64wBgZw8bWengmjDV5O1IfaTXKDI9vCQhJbosAPmeEJNTYyQB3e/l6ffJjg/G7B a2A4rwWGKCQgGA/RCjX7QVvEtvYt4/tzqYOAsooFKFFesfEuh5mfJ/ygrbtf5GbuV+Qi 3NObK5Sh2CenfN3IczU0w/lAmsXl1EKpHZ3KsnbP3CkrhVPzWEP2uD23g1B2yEVDoKBO 7C2Q7xbLRdQJJsxLWzwzYxalcVStdvCSOomhgtGOyXnbbFlT9DV9LnT+2i10WMmQhScU uJQILGnJQw+Q0D5WhIhcAPvjhasDtZUo8vJrkkrMl6x1Z7QZdWeZRdOqsDkD9rNBgApx itkg== X-Gm-Message-State: APjAAAUSEyKwzmVe2JhGDbyUrmcOpkMFlugoFSNapF3qTdBCc8Kzjfzu kqXzlA7DQlFyhjMP5HpEMUcDboI2OpP1jzKgZ/c= X-Google-Smtp-Source: APXvYqxnqDfzYPYWuUgG6Hyo6Wsuy7hh4nSfzsaGdz2CZbe1F+xCfVwNo9PEn+Y+zVs7IIf6frn9VACOq2k83QLROg0= X-Received: by 2002:ac8:5208:: with SMTP id r8mr13738769qtn.131.1574680969534; Mon, 25 Nov 2019 03:22:49 -0800 (PST) MIME-Version: 1.0 From: zaynah dargaye Date: Mon, 25 Nov 2019 12:22:38 +0100 Message-ID: To: coq-club@inria.fr Content-Type: multipart/alternative; boundary="000000000000d2e163059829fbf5" Subject: [Caml-list] =?UTF-8?Q?JFLA_2020_=7C_appel_=C3=A0_participation?= Reply-To: zaynah dargaye X-Loop: caml-list@inria.fr X-Sequence: 17879 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: --000000000000d2e163059829fbf5 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Pour correction par rapport au pr=C3=A9c=C3=A9dent e-mail, il s'agit bien d= u *premier appel =C3=A0 participation.* *Merci de faire circuler : premier 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 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 --000000000000d2e163059829fbf5 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Pour correction par rapport au pr=C3=A9c=C3=A9dent e-= mail, il s'agit bien du premier appel =C3=A0 participation.
<= /div>

*Merci de faire circuler : premier appel =C3=A0 pa= rticipation *

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 JFLA'2= 020 (http:= //jfla.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=A9sor= mais ouvertes :

=C2=A0 https://se= cure.key4events.com/key4register/register.aspx?e=3D1146&c=3D10712
Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3= =A9oriciens ; elles
ont pour ambition de couvrir les domaines des langa= ges applicatifs, de
la preuve formelle, de la v=C3=A9rification de prog= rammes, et des objets
math=C3=A9matiques qui sous-tendent ces outils. C= es domaines doivent =C3=AAtre
pris au sens large : nous souhaitons prom= ouvoir les ponts entre les
diff=C3=A9rentes th=C3=A9matiques.

L&= #39;inscription est un forfait qui comprend notamment l'h=C3=A9bergemen= t en
pension compl=C3=A8te sur le site des journ=C3=A9es :
- partici= pant.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 journ=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 pai= ent pas gr=C3=A2ce =C3=A0 nos sponsors.


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

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

C= ours 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=A0Titre =C3=A0 venir

Article= s accept=C3=A9s
-----------------
La liste des papiers accept=C3=A9s = est disponible sur:
=C2=A0 =C2=A0http://jfla.inria.fr/jfla2020.html#prog= ramme
=C2=A0

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

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

Valentin Blot, Inria Saclay
Vincent= Botbol, Nomadic Labs
Emmanuel Chailloux Lip6, Universit=C3=A9 Paris-Sor= bonne
Delphine Demange, Inria Rennes-Bretagne Atlantique
Chantal Kell= er LRI, Universit=C3=A9 Paris-Sud
Marie Kerjean Inria Rennes-Bretagne At= lantique
Alain Mebsout, OCamlPro
Julien Narboux, ICube, Universit=C3= =A9 de Strasbourg
Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne Atlant= ique
Marie Pelleau, universit=C3=A9 de Nice
Gabriel Scherer, Inria Sa= clay
--000000000000d2e163059829fbf5--