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 ESMTP id 7E72D5D5 for ; Thu, 22 Nov 2018 13:43:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,265,1539640800"; d="scan'208,217";a="356808495" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 22 Nov 2018 14:43:03 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 2F7BF8254B; Thu, 22 Nov 2018 14:43:03 +0100 (CET) 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 5023A824E4 for ; Thu, 22 Nov 2018 14:42:30 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=magaud@unistra.fr; spf=Pass smtp.mailfrom=magaud@unistra.fr; spf=None smtp.helo=postmaster@mailhost.u-strasbg.fr IronPort-PHdr: =?us-ascii?q?9a23=3A+anyxBLMRvzgyJzXsNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRIvnxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?cbODAk82/ZhNJ+g61crh+6vRNz34vUbZuVNPZifK7Qe84RS2pbXsZWUixMGpuy?= =?us-ascii?q?b4oTAOoGOeZXtZL9rEYJoxSkCgmjHv7vxSJVjXLx2K01yeshHhvb3AM9BN8OrX?= =?us-ascii?q?LUrNTuNKcOS+C61rPEzTvZb/5P3zr29YbGchckof6WXLJwd9LcxlMgFwPClFWf?= =?us-ascii?q?s5LqPy2L2eQLr2iX9eRgVfi3h246sg1xuSSvxt02hYnSnY0VxUrI9StjwIszON?= =?us-ascii?q?a2S1Z7bMa5HJZeqy2WLYl7T8c4T212pio21KcKtYCmcCUJ0Jgr2hDSZ+Cdf4WK?= =?us-ascii?q?5h/vTvidLDh4iX5/Zb6zmQq+/E69wePmTMa0ykxFri9dn9nMqH8N0xvT59CCSv?= =?us-ascii?q?Rn/0eh3TaP1wfI6uFYO0w0iLPXK4U9wr4qjJUTql/MHiDslEX4lq+abkQk+u62?= =?us-ascii?q?5OT7erjqu5GRO5Nuhgz8NqkigNKzDfomPgQUQWSX5Oex2KXm/ULjQbVKivM2kr?= =?us-ascii?q?PesJDfPckbo7S2AwBP3YY+9hmyFCqm0NIZnXkcMFJFYgiIg5LnO1HUOPz4F+uw?= =?us-ascii?q?g0ywkDd3wPDLJqHuDY/ILnjHibvhebd961VAyAco1tBe55dUCqkbL/7pW0/xss?= =?us-ascii?q?bYDh4jPACuzebnEoY16oRLUmuKBuqdMbjOmV6O/OMmZeeWN6EPvzOoDfku4Prn?= =?us-ascii?q?ljcckFAUYKXhiZ4eZ3mlEtx7JUSCfWDlxNkbRzRZ9jEiRfDn3QXRGQVYYGy/Cv?= =?us-ascii?q?plt2MLTbm+BIKGfbiDxbmI3SO1BJpTPzoUF1aNCmvyfsOKQaVVMX7AEopaijUB?= =?us-ascii?q?EIOZZco5zxj37l3nzbt8MvDdvCMC58q6iYpFotbLnBR3zgRaSsSQ12bXFDNxl2?= =?us-ascii?q?IMRzgtwOZi5Fdh0F6Y26c+jeYKTdE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AcAAB1sfZbhtreT4JiFggBBgcGgVEJC?= =?us-ascii?q?wGCaXASJ4N4iHeNCpdfgXoNI4h0BwEEMAkNAQMBAQIBAQEBARMBAQEKCQsIKSM?= =?us-ascii?q?MgjYigw5GAWwChBMBggEPmwOOZ4EvhC0BCwGBBoRiBYwggX+BEScME4QNgVoBA?= =?us-ascii?q?gEYhEsxgiYCiSOWXwmBC4VxikuEWowujUOHa4MCgUaCDTMaCB8ROyoBgkE+gXU?= =?us-ascii?q?ChRGJEwI+AQExAY4vAQE?= X-IPAS-Result: =?us-ascii?q?A0AcAAB1sfZbhtreT4JiFggBBgcGgVEJCwGCaXASJ4N4iHe?= =?us-ascii?q?NCpdfgXoNI4h0BwEEMAkNAQMBAQIBAQEBARMBAQEKCQsIKSMMgjYigw5GAWwCh?= =?us-ascii?q?BMBggEPmwOOZ4EvhC0BCwGBBoRiBYwggX+BEScME4QNgVoBAgEYhEsxgiYCiSO?= =?us-ascii?q?WXwmBC4VxikuEWowujUOHa4MCgUaCDTMaCB8ROyoBgkE+gXUChRGJEwI+AQExA?= =?us-ascii?q?Y4vAQE?= X-IronPort-AV: E=Sophos;i="5.56,265,1539640800"; d="scan'208,217";a="286448588" Received: from smr2.u-strasbg.fr (HELO mailhost.u-strasbg.fr) ([130.79.222.218]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Nov 2018 14:42:29 +0100 Received: from local-mr.u-strasbg.fr (lmr4.u-strasbg.fr [172.30.21.4]) by smr2.u-strasbg.fr (Postfix) with ESMTP id DC5271E0848 for ; Thu, 22 Nov 2018 14:42:27 +0100 (CET) Received: from local-mr.u-strasbg.fr (localhost [127.0.0.1]) by antivirus (Postfix) with ESMTP id 9314D225 for ; Thu, 22 Nov 2018 14:42:27 +0100 (CET) Received: from wifi-lab-lsiit-120.u-strasbg.fr (wifi-lab-lsiit-120.u-strasbg.fr [130.79.245.120]) (Authenticated sender: magaud) by lmr4.u-strasbg.fr (Postfix) with ESMTPSA id 6382592 for ; Thu, 22 Nov 2018 14:42:26 +0100 (CET) From: Nicolas Magaud Content-Type: multipart/alternative; boundary="Apple-Mail=_05299F67-0732-4009-8EBA-DC3C5A637536" Message-Id: <3256F515-E184-4512-98D3-BDC0ADCC69B4@unistra.fr> Date: Thu, 22 Nov 2018 14:42:26 +0100 To: caml-list@inria.fr Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Virus-Scanned: ClamAV using ClamSMTP X-Validation-by: magaud@unistra.fr Subject: [Caml-list] =?UTF-8?Q?JFLA_2019_=3A_1er_appel_=C3=A0_participatio?= =?UTF-8?Q?n?= Reply-To: Nicolas Magaud X-Loop: caml-list@inria.fr X-Sequence: 17142 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: --Apple-Mail=_05299F67-0732-4009-8EBA-DC3C5A637536 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 *** Appel =C3=A0 participation, merci de diffuser largement *** JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ ) Journ=C3=A9es Francophones des Langages Applicatifs Les Rousses (Jura) du 30 janvier au samedi 2 f=C3=A9vrier 2019 Les inscriptions aux JFLA 2019 sont d=C3=A9sormais ouvertes : https://cloud.agoraevent.fr/Site/158903/5261?Concept=3D1 Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oric= iens ; elles ont pour ambition de couvrir les domaines des langages applica= tifs, 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 large : nous souhaitons promouvoir les ponts entre = les diff=C3=A9rentes th=C3=A9matiques.=20 L'inscription est un forfait qui comprend notamment l'h=C3=A9bergement en p= ension compl=C3=A8te sur le site des journ=C3=A9es :=20 - participant plein tarif, chambre single : 600 euros - =C3=A9tudiant : 300 euros - =C3=A9tudiant orateur : 0 euros Cette ann=C3=A9e, =C3=A0 l=E2=80=99occasion de la trenti=C3=A8me =C3=A9diti= on des JFLA, nous aurons le plaisir d=E2=80=99accueillir les 3 plus gros co= ntributeurs aux JFLA des 10 derni=C3=A8res ann=C3=A9es ! 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.=20 Dates importantes --------------------- 15 janvier 2019 : date limite d'inscription aux journ=C3=A9es 30 janvier au 2 f=C3=A9vrier 2019 : journ=C3=A9es Cours invit=C3=A9s --------------- * Guillaume Melquiond, Inria Saclay : Arithm=C3=A9tique des ordinateurs et = preuves formelles. * Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne-Atlantique : Des th=C3=A9= ories des types qui font de l'effet. Expos=C3=A9s invit=C3=A9s ------------------ * Ilaria Castellani, Inria Sophia-Antipolis M=C3=A9diterran=C3=A9e : Types = de session : =C3=A9tat de l=E2=80=99art et perspectives. * Pierre Courtieu, CNAM Paris : Les protocoles de d=C3=A9placement de robot= s : l'algorithmique distribu=C3=A9e comme terrain de jeu pour la preuve for= melle. 30 ans de JFLA (session sp=C3=A9ciale avec les 3 plus gros contributeurs de= s 10 derni=C3=A8res =C3=A9ditions) ---------------------------------------------------------------------------= ------------------------------ * Jean-Christophe Filli=C3=A2tre, LRI CNRS : Des arbres en partage * Louis Mandel, IBM Research : Programmation Synchrone aux JFLA * Alan Schmitt, INRIA Rennes Bretagne - Atlantique : S=C3=A9mantiques Forme= lles et Certifi=C3=A9es Articles accept=C3=A9s -------------------- La liste des papiers accept=C3=A9s est disponible sur https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html Comit=C3=A9 de programme ------------------------ Nicolas Magaud ICube, Universit=C3=A9 de Strasbourg (pr=C3=A9sident) Zaynah Dargaye CEA List (vice-pr=C3=A9sidente) Guillaume Burel ENSIIE Evelyne Contejean CNRS, Universit=C3=A9 Paris-Sud Claire Dross Adacore Guillaume Dufay Prove & Run Benjamin Gr=C3=A9goire Inria Sophia-Antipolis M=C3=A9diterran=C3=A9e S=C3=A9bastien Hinderer Inria Paris Marc Pouzet ENS Yann R=C3=A9gis-Gianas IRIF Bernard Serpette Inria Bordeaux Sud-Ouest Mihaela Sighireanu IRIF Julien Tesson LACL --=20 Nicolas Magaud, ICube UMR 7357 CNRS Universit=C3=A9 de Strasbourg 300 bd S=C3=A9bastien Brant - CS 10413 - F-67412 Illkirch Cedex --=20 Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs= --Apple-Mail=_05299F67-0732-4009-8EBA-DC3C5A637536 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8 *** Appel =C3=A0 participation, merci de= diffuser largement ***

JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/)

<= span class=3D"" style=3D"font-family: ComicSansMS;">Journ=C3=A9es Francopho= nes des Langages Applicatifs

Les Rousses (Jura) du 30 janvier = au samedi 2 f=C3=A9vrier 2019


Les inscriptions aux JFLA 2019 sont d=C3=A9sormais ouverte= s :

https://cloud.agoraevent.fr/Site/158903/5261?Concept=3D1

Ces jou= rn=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9oriciens ; = elles ont pour ambition de couvrir les domaines des langages applicatifs, d= e 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 dif= f=C3=A9rentes th=C3=A9matiques. 

L'inscription est un forfa= it qui comprend notamment l'h=C3=A9bergement en pension compl=C3=A8te sur l= e site des journ=C3=A9es : 
- parti= cipant plein tarif, chambre single : 600 euros
- =C3=A9tudiant : 300 euros
- = =C3=A9tudiant orateur : 0 euros

Cette ann=C3=A9e, =C3=A0 l=E2=80= =99occasion de la trenti=C3=A8me =C3=A9dition des JFLA, nous aurons le plai= sir d=E2=80=99accueillir les 3 plus gros contributeurs aux JFLA des 10 dern= i=C3=A8res ann=C3=A9es !

Nous esp=C3=A9rons que vous serez n= ombreux =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
---------= ------------

15 janvie= r 2019 : date limite d'inscription aux journ=C3=A9es
<= span class=3D"">30 janvier au 2 f=C3=A9vrier 2019 : journ=C3=A9es
Cours invit=C3=A9s
---------------

* Guillaume Melquiond, Inria Saclay : Arithm=C3=A9tique= des ordinateurs et preuves formelles.

= * Pierre-Marie P=C3=A9drot, Inria Rennes-Bretagne-Atlantiq= ue : Des th=C3=A9ories des types qui font de l'effet.
=
Expos=C3=A9s invit=C3=A9s
------------------

* Ilaria Castellani, Inria Sophia-Antipolis M=C3=A9dite= rran=C3=A9e : Types de session : =C3=A9tat de l=E2=80=99art et perspectives= .

* Pierre Courtieu, C= NAM Paris : Les protocoles de d=C3=A9placement de robots : l'algorithmique = distribu=C3=A9e comme terrain de jeu pour la preuve formelle.


30 ans de JFLA (sess= ion sp=C3=A9ciale avec les 3 plus gros contributeurs des 10 derni=C3=A8res = =C3=A9ditions)
----------------------= ---------------------------------------------------------------------------= --------

* Jean-Christ= ophe Filli=C3=A2tre, LRI CNRS : Des arbres en partage

* Louis Mandel, = IBM Research : Programmation Synchrone aux JFLA

*= Alan Schmitt, INRIA Rennes Bretagne - Atlantique : S=C3=A9mantiques Formelles et Certifi=C3=A9es

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

La= liste des papiers accept=C3=A9s est disponible sur
https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html

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

Nicolas Magaud ICube, Universit=C3=A9 de Strasbourg (pr=C3=A9sident)
Zaynah Dargaye CEA List (vice-pr=C3= =A9sidente)
Guillaume Burel ENSIIE
Evelyne Contejean= CNRS, Universit=C3=A9 Paris-Sud
Claire Dross        = ; Adacore
Guillaume Dufay= Prove & Run
Benjamin Gr= =C3=A9goireInria Sophia-Antipolis M=C3=A9diterran=C3=A9e
S=C3=A9bastien Hinderer = Inria Paris
Marc Pouzet         ENS
= Yann R=C3=A9gis-Gianas IRIF
Bernard Serpette Inria Bordeaux Sud-O= uest
Mihaela Sighireanu IRIF
Julien Tesson &= nbsp;       LACL
-- 
Nicolas Magaud, ICube UMR 7357 CNRS Universit=C3=A9 de Strasbourg<= br class=3D"">300 bd S=C3=A9bastien Brant - CS 10413 - F-6= 7412 Illkirch Cedex
= --Apple-Mail=_05299F67-0732-4009-8EBA-DC3C5A637536--