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 | appel à participation

  • Subject: [Frama-c-discuss] JFLA 2020 | appel à participation
  • From: julien.signoles at cea.fr (Julien Signoles)
  • Date: Tue, 26 Nov 2019 13:15:56 +0100
[ This message is intentionally written in French ]

*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