Pour correction par rapport au précédent e-mail, il s'agit bien du *premier appel à participation.* *Merci de faire circuler : premier 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 Titre à venir Articles acceptés ----------------- La liste des papiers acceptés 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