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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6A0697EFCE for ; Thu, 10 Nov 2016 15:56:18 +0100 (CET) Authentication-Results: mail2-smtp-roc.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-it0-f46.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of julien.signoles@gmail.com) identity=pra; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="julien.signoles@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of julien.signoles@gmail.com designates 209.85.214.46 as permitted sender) identity=mailfrom; client-ip=209.85.214.46; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f46.google.com) identity=helo; client-ip=209.85.214.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="julien.signoles@gmail.com"; x-sender="postmaster@mail-it0-f46.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A6cLvIxBajZJOENyMjvDxUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT8r8bcNUDSrc9gkEXOFd2CrakV0KyO6Ou+CSQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5b75+Ngm6oAveusQXgoZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9YAsG?= =?us-ascii?q?nQrNX0KqgSV/2+wrTJzTXMafNW3jP955bTchs8pvyMX69wcc7QyUYxEQPJlE6Q?= =?us-ascii?q?qY3qPzOT0eQNt3aU7/F7WOKgjm4osQBxojy1ysgwjYnJg5sYx1bZ/it3x4Y1IM?= =?us-ascii?q?e3SE99YdO8EZtQsTuaN4psTc84TWFooj42xaMYuZGleigK1I8nywfEa/yaboeH?= =?us-ascii?q?/hXjVOCeITdimn1lY66whxG08Ui71OL8V8203ExWoSpCl9nBsG0G2R/L6sWfVP?= =?us-ascii?q?dx4kOs1SyM2g3T8O1IP104mKXBJ5Muw7M9kIcYv17ZES/sgkr2ibebdkU69eis?= =?us-ascii?q?7OTqerDmqYWdN49wkw3+M7gultCmDeQ2PQUDXnKX+eu71L3k8k35RKtFgucqna?= =?us-ascii?q?netZDWPcUbpqinDA9Jyosv9QqzAjO83NkbnXQLNkxJdA+IgoTzNFzDIej0DfKl?= =?us-ascii?q?jFStlDdryerGPrrkApjVLHjDjbPhfbdj5E5a0gYz1tFf551SCrEGJPL8RFTxuc?= =?us-ascii?q?fXDh88KQO0wuLnBM9h2YMZXGKDGrWZP7/KsV+U+uIvJPGBa5MPtzb4L/gp/vru?= =?us-ascii?q?jX4imV8BZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+Qvbq2xW+Vmt4bnO2F4?= =?us-ascii?q?Y9/S1zXImvCIOGQoG2nJSA2j26F9tYfDYVJEqLFCLKaoGFVvFEUyOdJMhlnydM?= =?us-ascii?q?Abq8T44s01e1tQD8zL5qNcLb/yQZsdTo090jtL6brg076TEhV5fV6GqKVWwh2z?= =?us-ascii?q?pQHzI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CVAgBqiSRYhi7WVdFdSQYMgwUBAQEBA?= =?us-ascii?q?T06fweCfKoeg2uCeYMMgRmCfSmIBwdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMII?= =?us-ascii?q?zGgGCJgYRHQEbDQEQAxIDBgc3AiQBEQEFASIKCSKIIgEDFw6TFI1JggmBMj8yi?= =?us-ascii?q?1CCDAYBLYMaBYNmChknDVSDOwIGEIYuhheGD4JdBYhQkWeBboRLihqCPYJFixq?= =?us-ascii?q?JMYQLgkQTHoESDyaBPAuDIQSBaT00AYgWAQEB?= X-IPAS-Result: =?us-ascii?q?A0CVAgBqiSRYhi7WVdFdSQYMgwUBAQEBAT06fweCfKoeg2u?= =?us-ascii?q?CeYMMgRmCfSmIBwdDEAEBAQEBAQEBAQEBEgEBAQgLCwkdMIIzGgGCJgYRHQEbD?= =?us-ascii?q?QEQAxIDBgc3AiQBEQEFASIKCSKIIgEDFw6TFI1JggmBMj8yi1CCDAYBLYMaBYN?= =?us-ascii?q?mChknDVSDOwIGEIYuhheGD4JdBYhQkWeBboRLihqCPYJFixqJMYQLgkQTHoESD?= =?us-ascii?q?yaBPAuDIQSBaT00AYgWAQEB?= X-IronPort-AV: E=Sophos;i="5.31,619,1473112800"; d="scan'208,217";a="244487745" Received: from mail-it0-f46.google.com ([209.85.214.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 10 Nov 2016 15:56:17 +0100 Received: by mail-it0-f46.google.com with SMTP id e187so270063890itc.0 for ; Thu, 10 Nov 2016 06:56:17 -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=t0QOnsnfd5ZkZnLzvZZD6uLvA70i219gpRukXSvVO3M=; b=cn6etNJ1p5rlXgbyOfS2cYogF5rlT96xx4T9L4GfgTdLF4+zaTy31iI20q8S7hLZBB R0izPbppCYPwyo0q1LlzM5Bb4A1EmawuBYeZmWJkP697lXks4IsyXTqDkR05ekM4/eZV gmJTmx+hBN0DJenoT9YHXFz87UGFlJFyTr4mTqeEDRU8xxhWDfeeWDW/Nm5a3hYG5Xco Bs1sTImBqRfK08N2VlaGJCYZCre2B3yfqyHvegXDdwT/veFMCymDF3w7h4pezN+DAk3a 7hSo9SEnLi/wrILqUkpohVLaf/Ec3NIT4Iu5tQGdW7F6hjBLMN0XSPp8u+bkmQd9sgza CIoQ== 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=t0QOnsnfd5ZkZnLzvZZD6uLvA70i219gpRukXSvVO3M=; b=VEjlL8PW94uwIrHF0sHHBQruqAZkqqON71j9AkSD9oK82gW1oTby5WDkoiZTA4DAIV qhIIyG4kk1LTiU3u25dgXCEK2NpMMIvK08eFAI5Um5qlu0pFX+KdU8VdCxMGaLyIBo7u jIF5b5ekZXdzQHcnJscbv12OsXjvLhj0sNz8aP1CJ0d7HN2w3YBMKzueLiNWmR+R+Ep+ n8E2zjJUQTCvfu/Jmx2ecUr+Oqo4aDH0d7mbdrcjf7KBueCAiJkGkKyW1V6W0f1JMT08 O1yl1RaspzTKWvWAH0YMz9Kd/aiSgdbhdjOuyXYcbAHkyB3p6a6Ua0InfFff1i8t4Y+C 7nYg== X-Gm-Message-State: ABUngvfa5wuXMc6nBcO+GnH37yhP+SNRAzfy7u6xpYpoJtgymxi2fw3ESaSxfEjdVSH9F0bzq/hIK4gy9mJ6qg== X-Received: by 10.107.15.144 with SMTP id 16mr7244493iop.23.1478789773993; Thu, 10 Nov 2016 06:56:13 -0800 (PST) MIME-Version: 1.0 Received: by 10.107.47.141 with HTTP; Thu, 10 Nov 2016 06:56:13 -0800 (PST) From: Julien Signoles Date: Thu, 10 Nov 2016 15:56:13 +0100 Message-ID: To: Caml List Content-Type: multipart/alternative; boundary=001a113ed8d02d2d230540f393cc Subject: [Caml-list] =?UTF-8?Q?JFLA_2017_=3A_appel_=C3=A0_participation?= --001a113ed8d02d2d230540f393cc 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 d=C3=A9sormais ouvertes : http://jfla2017.events-sudcongresconseil.com/register.aspx?e=3D598 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 uni= versel" * 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, prouveur et autres outils d=C3=A9di=C3=A9s =C3=A0 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 --001a113ed8d02d2d230540f393cc Content-Type: text/html; 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 L= angages Applicatifs

Gourette, Pyr=C3=A9n=C3=A9es, du 4 au= 7 janvier 2017


Les incriptions aux JFLAs 2017 sont d=C3=A9sorma= is ouvertes :

http://jfla2017.events-sudcongresconseil.com/r= egister.aspx?e=3D598

Ces journ=C3=A9es r=C3=A9unissent concepteu= rs, utilisateurs et th=C3=A9oriciens ; elles ont pour ambition de couvrir l= es domaines des langages applicatifs, de la preuve formelle, de la v=C3=A9r= ification de programmes, et des objets math=C3=A9matiques qui sous-tendent = ces outils. Ces domaines doivent =C3=AAtre pris au sens large : nous souhai= tons promouvoir les ponts entre les diff=C3=A9rentes th=C3=A9matiques.
<= br>L'inscription est un forfait qui comprend notamment l'h=C3=A9ber= gement en pension compl=C3=A8te sur le site des journ=C3=A9es et le transfe= rt en car entre Gourette et la gare ou l'a=C3=A9roport de Pau :
- pa= rticipant plein tarif, chambre single : 600 euros
- participant plein ta= rif, chambre twin : 500 euros
- =C3=A9tudiant, chambre twin : 350 euros<= br>- =C3=A9tudiant avec article accept=C3=A9, chambre twin : gratuit (!)
Nous esp=C3=A9rons que vous serez nombreux =C3=A0 participer =C3=A0 ce= s journ=C3=A9es.
Inscrivez-vous d=C3=A8s que possible!

Dates impo= rtantes
-----------------

11 d=C3=A9cembre 2016 : date limite d&#= 39;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 pr= euves universel"

* Benjamin Canou (OCamlPro SAS)
"Com= ment programmer en OCaml aujourd'hui"

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

* Damien Doligez (Inria Paris)
"Zeno= n"

* St=C3=A9phane Lescuyer et Florence Plateau (Prove and Run)=
"Langage, prouveur et autres outils d=C3=A9di=C3=A9s =C3=A0 la p= reuve 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
Thoma= s Gazagnaire Docker
Mohamed Iguernlala OCamlPro SAS
Fr= =C3=A9d=C3=A9ric Loulergue SICCS, Northern Arizona University
Lau= rent 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 7Francesco Zappa Nardeli Inria Paris

Pour tout renseignement, con= tacter
Julien Signoles <j= ulien.signoles@cea.fr>
--001a113ed8d02d2d230540f393cc--