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 2020 | Second appel à participation
- Subject: [Frama-c-discuss] JFLA 2020 | Second appel à participation
- From: julien.signoles at cea.fr (Julien Signoles)
- Date: Wed, 18 Dec 2019 09:33:34 +0100
[ 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>
- Prev by Date: [Frama-c-discuss] Frama-C 20 (Calcium) has been released!
- Next by Date: [Frama-c-discuss] Trouble With Why3 and New Frama-C 20.0
- Previous by thread: [Frama-c-discuss] Website header/footer CSS
- Next by thread: [Frama-c-discuss] Trouble With Why3 and New Frama-C 20.0
- Index(es):