[Caml-list] JFLA 2018 : 1er appel à participation

[Caml-list] JFLA 2018 : 1er appel à participation

[Sylvie Boldo]

*** 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