The Coq mailing list

[Sylvie Boldo <sylvie.boldo AT inria.fr>]

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