coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: zaynah dargaye <zaydargaye AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] jfla 2020 | 1er appel à communication
- Date: Mon, 25 Nov 2019 00:54:00 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zaydargaye AT gmail.com; spf=Pass smtp.mailfrom=zaydargaye AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f171.google.com
- Ironport-phdr: 9a23:LpWZ0R0dQ78fe+XismDT+DRfVm0co7zxezQtwd8Zse0RLfad9pjvdHbS+e9qxAeQG9mCsLQd1rud6vqocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTSwbalvIBi2qQjdudQajZV/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/g6JVrhyiqRJi3YDbfJqYO+Bicq7HZ94WWXZNU8RXWidcAo28dYwPD+8ZMOdZtYb8p10OogG+BQKxGezg0CVIhnDs0qw6zesqDAbL3Q06ENMOrXvbts/1NKgIXuG10qbF1jrDb/ZM1jf87IjEaAwuofaJXb9pd8fa1EchFwTAjlqKqIzlOSuY1uULs2iB7upvT/iji2A9qw1poTig2Mcth4bXiYIL1F/E8zl5wJ0vKdKkT057ZNipG4ZTuSGCL4Z6XN8uTmVytCs5yrAKo4C3cDYUxJg92hLSaeGLfo6V6Rz5TumROy13hHd9dbK/mRmy9U+gx/X5Vsau0VZKqjNJksDPtnwQzhDT5NWLR/lg8ku71jaP0AfT6u5AIU8qj6bUN5khwrsompoSt0TMADP2lV3ogKOKckgo4Oul5uT9brn4uJOQKZV4hhz8P6gzgsC/BP43MgkKX2iV4+S807jj8FX4QbpQjvw5j7PWsIrVJcsBpq+2HRRY0okm6xmlDjem1M4UkmUALFJAYB6HlZTmO0nSIPDkCveym0ijkDByx/zfIrLhBojNIWPYnbf6fbd97lZcxxApwdBe4ZJUELABL+jpVk//rtyLRiM+Zgez2qPsDMh3/oIYQ2OGRKGDY43Itlrd9Os+JeCMLIMcojn0OvVts+znnHMwg1AUbKSB0p4eaXT+FfNjdRbKKUHwi8sMRD9Z9jE1S/bn3QXbDWxjIk2qVqd53QkVTZq8BN6aFI+oib2Fmiy8G88OPz0UOhW3CX7tMr68dbIMZSaVeJEzlzUFUf24SNZk20jx7Un1zL1oKueS8Sod58q6hYpFotbLnBR3zgRaSsGU0mWDVWZxxzpaSDo/3aQ5qkt4mA6O
*Merci de faire circuler : premier appel à communications *
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 single : 600 euros
- étudiant.e orateur.e : 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
-----------------
8 janvier 2020 : date limite d'inscription aux journées
29 janvier au 1er fevrier 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
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 single : 600 euros
- étudiant.e orateur.e : 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
-----------------
8 janvier 2020 : date limite d'inscription aux journées
29 janvier au 1er fevrier 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
- [Coq-Club] jfla 2020 | 1er appel à communication, zaynah dargaye, 11/25/2019
Archive powered by MHonArc 2.6.18.