* [Caml-list] JFLA 2018 : dernier appel à participation
@ 2018-01-09 12:14 Sylvie Boldo
0 siblings, 0 replies; only message in thread
From: Sylvie Boldo @ 2018-01-09 12:14 UTC (permalink / raw)
To: caml-list
*** 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-01-09 12:32 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-01-09 12:14 [Caml-list] JFLA 2018 : dernier appel à participation Sylvie Boldo
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).