From: Sylvie Boldo <sylvie.boldo@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] JFLA 2018 : 1er appel à participation
Date: Mon, 27 Nov 2017 16:03:32 +0100 [thread overview]
Message-ID: <0f21e7e2-765e-aa01-4e93-f6bdc08eab27@inria.fr> (raw)
*** Appel à participation, merci de diffuser largement ***
JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/)
Journées Francophones des Langages Applicatifs
Banyuls-sur-Mer du 24 au 27 janvier 2018
Les inscriptions aux JFLA 2018 sont désormais ouvertes :
https://cloud.agoraevent.fr/Site/136702/3694/Event
Ces journées réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, de la vérification de programmes, et des objets
mathématiques qui sous-tendent ces outils. Ces domaines doivent être
pris au sens large : nous souhaitons promouvoir les ponts entre les
différentes thématiques.
L'inscription est un forfait qui comprend notamment l'hébergement en
pension complète sur le site des journées :
- participant plein tarif, chambre single : 600 euros
- étudiant : 300 euros
- étudiant orateur : 0 euros
Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible !
En particulier, les étudiants orateurs sont invités à s'inscrire, même
s'ils ne paient pas grâce à nos sponsors.
Dates importantes
-----------------
10 janvier 2018 : date limite d'inscription aux journées
24 au 27 janvier 2018 : journées
Cours invités
-------------
* Arthur Charguéraud, Inria & ICube, Université de Strasbourg
"Interactive Verification of Interactive Programs using CFML"
* Emmanuel Chailloux (UPMC), Steven Varoumas (CNAM-UPMC) et Benoit
Vaugon (Armadillo)
"La programmation de micro-contrôleurs dans des langages de haut niveau "
Exposés invités
---------------
* Thomas Gazagnaire
"MirageOS ou la quête d'un OS plus petit et plus sûr"
* Stéphane Graham-Lengrand, CNRS, École Polytechnique, SRI International
"Garantir l'intégrité et la provenance des données par typage, et
application à la démonstration automatique modulaire et sans bugs"
Articles acceptés
-----------------
La liste des papiers acceptés est disponible sur
https://www.lri.fr/~sboldo/JFLA18/programme.html
Comité de programme
-------------------
Sylvie Boldo Inria Saclay-Île de France, LRI (présidente)
Nicolas Magaud Université de Strasbourg (vice-président)
Clara Bertolissi LIF-Universite Aix-Marseille
Timothy Bourke Inria Paris, ENS
Benjamin Canou OCamlPro
Zaynah Dargaye CEA LIST
Alain Frisch LexiFi
Frédéric Gava Université de Paris-Est
Alain Giorgetti FEMTO-ST, Université de Franche-Comté
Kim Nguyen Université Paris-Sud
François Pottier Inria Paris
Yann Régis-Gianas IRIF
Laurence Rideau Inria Sophia Antipolis - Méditerranée
--
Sylvie Boldo, projet Toccata, Inria Saclay - Île-de-France
PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex
reply other threads:[~2017-11-27 15:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0f21e7e2-765e-aa01-4e93-f6bdc08eab27@inria.fr \
--to=sylvie.boldo@inria.fr \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox