From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 EE9F580070 for ; Mon, 5 Dec 2016 10:55:52 +0100 (CET) Authentication-Results: mail3-smtp-sop.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-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AmSz7txwwElCgt4nXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?2+ISIJqq85mqBkHD//Il1AaPBtSAra4UwLKP+4nbGkU4qa6bt34DdJEeHzQksu?= =?us-ascii?q?4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1?= =?us-ascii?q?Ov71GonPhMiryuy+4ZPebgFGiTanbr5/Lxq6oRnMusILnYZsN6E9xwfTrHBVYe?= =?us-ascii?q?pW32RoJVySnxb4+Mi9+YNo/jpTtfw86cNOSL32cKskQ7NWCjQmKH0169bwtRbf?= =?us-ascii?q?VwuP52ATXXsQnxFVHgXK9hD6XpP2sivnqupw3TSRMMPqQbwoXzmp8rxmQwH0hi?= =?us-ascii?q?gZKzE58XnXis1ug6JdvBKhvAF0z4rNbI2IKPZyYqbRcNUHTmRDQ8lRTTRMDIOy?= =?us-ascii?q?YYUMEuQPI/pXopLnqFcStxazHxWgCP/txzJOm3T43bc60+MkEQze2AIgAtYOsH?= =?us-ascii?q?XKo9XzKawcTOG1zKbOzTXEa/NZxyz945XPfxAjvPGMWbNwftTXyUU1DAPFj1qQ?= =?us-ascii?q?qYriPzORyOsNqHOW7+VlVe21im4nrxt9rSSoxscpk4TEgJ8exF7D9SV82ok1JN?= =?us-ascii?q?u4RVZ6Yd6iCptQtjuVO5F4QsM4W21npjg6xaMAuZ6nZygG0Y8nxwPCZPObdIiI?= =?us-ascii?q?5B3jVPyPLjdjmH1lf7S/hw2s/kihzu3wTNW70FFPridDj9LCtWgN2gTN5sSbTv?= =?us-ascii?q?Zx5ESs1DaV2wzN9O1JL1o4mbfZJpMgxLM7i4Advl7ZHiDsnUX7lK+WeVsg+uiv?= =?us-ascii?q?8+nnZ6/ppp6YN4NtiwH+NbgiltWxAeglMAUDXnKX+eu71L3k8k35RKtFgucqna?= =?us-ascii?q?netZDWPcUbpqinDA9Jyosv9QqzAjO83NkbnXQLNkxJdAyJgoTzJl3DIvH1Ae+6?= =?us-ascii?q?g1u2kTdrw/7GPqfmApXINnXDkqrhfbJ860FCzgo/18tf55NbCrEHJ/LzXlH+tM?= =?us-ascii?q?fDAx82Ngy72efnCNFn2owCXmKPB7eVMLnOvl+Q+uIvP+6MaZcJtznnLvgl4+fi?= =?us-ascii?q?jXs4mV8GYamkxoAXaXC9HvR+OUqVe3vsgtEbEWcLpAUyVuLqiEfRGQJUMl27Wq?= =?us-ascii?q?Z0wjAgFMryBo7GQsWpgaed9Ca9BJxfIG5cXAOiC3DtIqeZX/YBbmqpI8BnlTgJ?= =?us-ascii?q?TvD1SZIl1Byo8hT7xLxgKufP0iIdvJPnktNy4ruAxlkJ6TVoApHFgCm2RGZukz?= =?us-ascii?q?ZNHmdu0Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DlAABOOUVYf7DfVdFdHgYMGQYMgkhFA?= =?us-ascii?q?QEBAQE/OoEGB4J8qjGDdoYUgRmCfimIIQdDEAEBAQEBAQEBAQEBEgEBCQsLCRs?= =?us-ascii?q?ygjMaAYItFx0BGw0BEAMSAw03AiQBEQEFASIKCYhUAQMXDo5ajUyDPz+LfYIEB?= =?us-ascii?q?QEfgw0Fg1EKGScNVINLAgYShiyGGIFOhAkLLYJdBYhikgSBeIRTikyCQoJKizG?= =?us-ascii?q?JbIQWgkgUHoETDyeBXBGCYjccgW09NAGIeAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DlAABOOUVYf7DfVdFdHgYMGQYMgkhFAQEBAQE/OoEGB4J?= =?us-ascii?q?8qjGDdoYUgRmCfimIIQdDEAEBAQEBAQEBAQEBEgEBCQsLCRsygjMaAYItFx0BG?= =?us-ascii?q?w0BEAMSAw03AiQBEQEFASIKCYhUAQMXDo5ajUyDPz+LfYIEBQEfgw0Fg1EKGSc?= =?us-ascii?q?NVINLAgYShiyGGIFOhAkLLYJdBYhikgSBeIRTikyCQoJKizGJbIQWgkgUHoETD?= =?us-ascii?q?yeBXBGCYjccgW09NAGIeAEBAQ?= X-IronPort-AV: E=Sophos;i="5.33,747,1477954800"; d="scan'208,217";a="202843992" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Dec 2016 10:55:20 +0100 Received: by mail-io0-f176.google.com with SMTP id m5so449446164ioe.3 for ; Mon, 05 Dec 2016 01:55:20 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to; bh=zOHYyDJ4nORciRb40YN2v/A+NH7++w4FLv2BrfrA324=; b=lYTuyqbyWBS3MFL1Rn9WNP42MTNW8GgLkx7PN125sMQpU6tGe0AR9JuvjDbBe6AGyb L0hTkV+2uQ1gdNGz2eyFinz1OmY9vpF8IMgDaF5goHFJvpKu4q9JroQ4w5IKgRSnAE7B pud8bV8yPUvCrMzPkAHGDgTDI510iyhaxcJKGqkQ/4yn8UTjCdlc2bbAPiFvFDDYSAvo 9sjed+sWzbExrn76q7qI5SKQZKojZXJg2xOBF1mjGFlPrreR4BQIJbxGV5/w9nKDmYzb QMtHvoAV2ZNdz/7amsn1QTj9TTbQ3XwZEiI93nJQsyXC+fwm562kG/nP6EOEUtaRosUX lYSw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=zOHYyDJ4nORciRb40YN2v/A+NH7++w4FLv2BrfrA324=; b=YF/lhhIA1D2aZGYoQj7yQGRHi1s/B+ftWGkWDCyjceShzbIz1EKSgkKZDSG6De0hQc /azqlXJOJWEstBUHIjh2vdNd/B5zT7JyXaTN2jDtgc6tSlHP4X87BCWUVnHvVFO7VEET S03wyzFPpFgjwd4PyeDF37r9KAfU0Ar7NohOcTzzO94BDPukEqJgzvOEA5y8AX//w+QI O9X267sHRjBTZPRNKAnMDWEztVTBjl8CGyxkczLwbf1wB9jwtCs9DV1tcG58yOI8wP/K n8cG+RNhDXas42A1T+WWkDtIkPJWLaRGYQAg1HcQa7oHKZqti4kEwwxp30bpWg6gEwYl uSnw== X-Gm-Message-State: AKaTC03qD+Cx2IIDwF/hCCn8yrlzVtnclcucyup8tKgLPj5+PCvYO2Kn/HH6yfv0ftbObNJs7MP1idmOjVlxsQ== X-Received: by 10.36.57.75 with SMTP id l72mr7519499ita.11.1480931718900; Mon, 05 Dec 2016 01:55:18 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.133.214 with HTTP; Mon, 5 Dec 2016 01:55:18 -0800 (PST) From: Julien Signoles Date: Mon, 5 Dec 2016 10:55:18 +0100 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a114a9a300ab0de0542e64957 Subject: [Caml-list] =?UTF-8?Q?JFLA_2017_=3A_2=C3=A8me_appel_=C3=A0_partic?= =?UTF-8?Q?ipation?= --001a114a9a300ab0de0542e64957 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'2017 (http://jfla.inria.fr/2017/) Journ=C3=A9es Francophones des Langages Applicatifs Gourette, Pyr=C3=A9n=C3=A9es, du 4 au 7 janvier 2017 Les incriptions aux JFLAs 2017 sont ouvertes jusqu'au 11 d=C3=A9cembre : http://jfla2017.events-sudcongresconseil.com/register.aspx?e=3D598 Le programme des Journ=C3=A9es est d=C3=A9sormais disponible en ligne : http://jfla.inria.fr/2017/programme.html 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=A9re= ntes 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 et le transfert en car = entre Gourette et la gare ou l'a=C3=A9roport de Pau : - participant plein tarif, chambre single : 600 euros - participant plein tarif, chambre twin : 500 euros - =C3=A9tudiant, chambre twin : 350 euros - =C3=A9tudiant avec article accept=C3=A9, chambre twin : gratuit (!) 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! Dates importantes ----------------- 11 d=C3=A9cembre 2016 : date limite d'inscription aux journ=C3=A9es 4 au 7 janvier 2017 : journ=C3=A9es Cours invit=C3=A9s ------------- * Guillaume Burel (ENSIIE) "Exprimer ses th=C3=A9ories en Dedukti, le v=C3=A9rificateur de preuves u= niversel" * Benjamin Canou (OCamlPro SAS) "Comment programmer en OCaml aujourd'hui" Expos=C3=A9s invit=C3=A9s ------------- * Damien Doligez (Inria Paris) "Zenon" * St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run) "Langage et outil pour la preuve d'un micro-noyau" (titre exact =C3=A0 pr=C3=A9ciser) Comit=C3=A9 de programme ------------------- Julien Signoles CEA LIST (pr=C3=A9sident) Sylvie Boldo Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3= =A9sidente) June Andronick Data61/CSIRO et UNSW Anne-Gwenn Bosser ENIB, Lab-STICC Thomas Gazagnaire Docker Mohamed Iguernlala OCamlPro SAS Fr=C3=A9d=C3=A9ric Loulergue SICCS, Northern Arizona University Laurent Mounier Verimag, Universit=C3=A9 Grenoble Alpes Fran=C3=A7ois Pottier Inria Paris Sylvain Salvati Universit=C3=A9 Lille 1 Mihaela Sighireanu IRIF, Universit=C3=A9 Paris 7 Francesco Zappa Nardeli Inria Paris Pour tout renseignement, contacter Julien Signoles --001a114a9a300ab0de0542e64957 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
[ This message is intentionally written in Fre= nch. ]

=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= '2017 (http://jfla.inria.fr/2017/)

=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 Gourette, = Pyr=C3=A9n=C3=A9es, du 4 au 7 janvier 2017


Les incriptions aux JFLAs 2017 sont ouvertes jusqu'au 11 d=C3=A9cem= bre :

=C2=A0=C2=A0=C2=A0 http://jfl= a2017.events-sudcongresconseil.com/register.aspx?e=3D598

Le programme des Journ=C3=A9es est d=C3=A9sormais disponible en ligne :

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

Ces journ=C3=A9es r=C3=A9unissent concepteurs, utilisateurs et th=C3=A9= oriciens ; elles=20 ont pour ambition de couvrir les domaines des langages applicatifs, de=20 la preuve formelle, de la v=C3=A9rification de programmes, et des objets=20 math=C3=A9matiques qui sous-tendent ces outils. Ces domaines doivent =C3=AA= tre=20 pris au sens large : nous souhaitons promouvoir les ponts entre les=20 diff=C3=A9rentes th=C3=A9matiques.

L'inscription est un forfait qui comprend notamment l'h=C3=A9be= rgement en=20 pension compl=C3=A8te sur le site des journ=C3=A9es et le transfert en car = entre=20 Gourette et la gare ou l'a=C3=A9roport de Pau :
- participant plein tarif, chambre single : 600 euros
- participant plein tarif, chambre twin : 500 euros
- =C3=A9tudiant, chambre twin : 350 euros
- =C3=A9tudiant avec article accept=C3=A9, chambre twin : gratuit (!)

Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ces= journ=C3=A9es.
Inscrivez-vous d=C3=A8s que possible!

Dates importantes
-----------------

11 d=C3=A9cembre 2016 : date limite d'inscription aux journ=C3=A9es
4 au 7 janvier 2017 : journ=C3=A9es

Cours invit=C3=A9s
-------------

* Guillaume Burel (ENSIIE)
=C2=A0 "Exprimer ses th=C3=A9ories en Dedukti, le v=C3=A9rificateu= r de preuves universel"

* Benjamin Canou (OCamlPro SAS)
=C2=A0 "Comment programmer en OCaml aujourd'hui"

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

* Damien Doligez (Inria Paris)
=C2=A0 "Zenon"

* St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run)
=C2=A0 "Langage et outil pour la preuve d'un micro-noyau"
=C2=A0 (titre exact =C3=A0 pr=C3=A9ciser)

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

Julien=C2=A0=C2=A0=C2=A0=C2=A0 Signoles=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 CEA LIST (pr=C3=A9sident)
Sylvie=C2=A0=C2=A0=C2=A0=C2=A0 Boldo=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0 Inria Saclay-=C3=8Ele de France, LRI (vice-pr=C3=A9si= dente)
June=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 Andronick=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0 Data61/CSIRO et UNSW
Anne-Gwenn Bosser=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 ENIB,= Lab-STICC
Thomas=C2=A0=C2=A0=C2=A0=C2=A0 Gazagnaire=C2=A0=C2=A0=C2=A0=C2=A0 Docker
Mohamed=C2=A0=C2=A0=C2=A0 Iguernlala=C2=A0=C2=A0=C2=A0=C2=A0 OCamlPro S= AS
Fr=C3=A9d=C3=A9ric=C2=A0=C2=A0 Loulergue=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 = SICCS, Northern Arizona University
Laurent=C2=A0=C2=A0=C2=A0 Mounier=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Verimag, Universit=C3=A9 Grenoble Alpes
Fran=C3=A7ois=C2=A0=C2=A0 Pottier=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Inria Paris
Sylvain=C2=A0=C2=A0=C2=A0 Salvati=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= =C2=A0 Universit=C3=A9 Lille 1
Mihaela=C2=A0=C2=A0=C2=A0 Sighireanu=C2=A0=C2=A0=C2=A0=C2=A0 IRIF, Univ= ersit=C3=A9 Paris 7
Francesco=C2=A0 Zappa Nardeli=C2=A0 Inria Paris

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