--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on December 2019 ---
[ This message is intentionally written in French ] *Merci de faire circuler : second appel à participation *       JFLA'2020 (http://jfla.inria.fr/jfla2020.html)       Journées Francophones des Langages Applicatifs       Gruissan -  du 29 janvier au 1 février 2020 Les inscriptions aux JFLA 2020 sont désormais ouvertes : https://secure.key4events.com/key4register/register.aspx?e=1146&c=10712 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.e plein tarif, chambre simple : 600 euros - étudiant.e orateur.e, en chambre double : 0 euro Nous espérons que vous serez nombreux à participer à ces journées. Inscrivez-vous dès que possible ! En particulier, les étudiant.e.s orateur.e.s sont invité.e.s à s'inscrire, même s'ils ne paient pas grâce à nos sponsors. Dates importantes ----------------- *8 janvier 2020 : date limite d'inscription aux journées* 29 janvier au 1er février 2020 : journées Cours invités ------------- * Sylvain Conchon, LRI, Université Paris-Saclay    "Cubicle : Model Checking Modulo Théories" * Claire Dross, AdaCore   "SPARK 2014 : La Preuve de Programme pour les Développeurs" Exposés invités --------------- * Pierre-Ãvariste Dagand, CNRS, Inria, Sorbonne Université   "L'expérience Usuba : un compilateur post-Moore" * Hugo Herbelin, INRIA Paris, IRIF Théorie des types cubiques, égalité polymorphe ad hoc et paramétricité itérée Articles acceptés ----------------- Le *programme détaillé* est disponible sur: http://jfla.inria.fr/jfla2020.html#programme Comité de programme ------------------- Zaynah Dargaye, Nomadic Labs (présidente) Yann Regis-Gianas, IRIF (vice-président) Valentin Blot, Inria Saclay Vincent Botbol, Nomadic Labs Emmanuel Chailloux Lip6, Université Paris-Sorbonne Delphine Demange, Inria Rennes-Bretagne Atlantique Chantal Keller LRI, Université Paris-Sud Marie Kerjean Inria Rennes-Bretagne Atlantique Alain Mebsout, OCamlPro Julien Narboux, ICube, Université de Strasbourg Pierre-Marie Pédrot, Inria Rennes-Bretagne Atlantique Marie Pelleau, université de Nice Gabriel Scherer, Inria Saclay -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20191218/7eb5b6a2/attachment.html>