From: Sylvie Boldo <sylvie.boldo@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] JFLA 2018 : dernier appel à participation
Date: Tue, 9 Jan 2018 13:14:35 +0100 [thread overview]
Message-ID: <213eb82c-f3fc-8fa9-70f6-bc3e278dc58d@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 ouvertes jusqu'à ce mercredi 10 janvier :
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 Imperative Programs using CFML"
* Steven Varoumas (CNAM-UPMC), Benoît Vaugon (Armadillo) et Emmmanuel Chailloux
(UPMC)
"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"
Programme
---------
Le programme est maintenant 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:[~2018-01-09 12:32 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=213eb82c-f3fc-8fa9-70f6-bc3e278dc58d@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;
as well as URLs for NNTP newsgroup(s).