Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] JFLA 2018 : 2ème appel à participation

  • Subject: [Frama-c-discuss] JFLA 2018 : 2ème appel à participation
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
  • Date: Fri, 15 Dec 2017 13:33:00 +0100
*** 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 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"


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