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 : dernier appel à participation


  • Subject: [Frama-c-discuss] JFLA 2018 : dernier appel à participation
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
  • Date: Tue, 9 Jan 2018 13:14:34 +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 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