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>