--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on January 2018 ---
*** 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