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

  • Subject: [Frama-c-discuss] JFLA 2017 : appel à participation
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Thu, 10 Nov 2016 15:54:31 +0100
[ This message is intentionally written in French. ]

    *** Appel à participation, merci de diffuser largement ***


             JFLA'2017 (http://jfla.inria.fr/2017/)

         Journées Francophones des Langages Applicatifs

            Gourette, Pyrénées, du 4 au 7 janvier 2017


Les incriptions aux JFLAs 2017 sont désormais ouvertes :

     http://jfla2017.events-sudcongresconseil.com/register.aspx?e=598

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 et le transfert en car entre 
Gourette et la gare ou l'aéroport de Pau :
- participant plein tarif, chambre single : 600 euros
- participant plein tarif, chambre twin : 500 euros
- étudiant, chambre twin : 350 euros
- étudiant avec article accepté, chambre twin : gratuit (!)

Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible!

Dates importantes
-----------------

11 décembre 2016 : date limite d'inscription aux journées
4 au 7 janvier 2017 : journées

Cours invités
-------------

* Guillaume Burel (ENSIIE)
   "Exprimer ses théories en Dedukti, le vérificateur de preuves universel"

* Benjamin Canou (OCamlPro SAS)
   "Comment programmer en OCaml aujourd'hui"

Exposés invités
-------------

* Damien Doligez (Inria Paris)
   "Zenon"

* Stéphane Lescuyer et Florence Plateau (Prove and Run)
   "Langage, prouveur et autres outils dédiés à la preuve d'un 
micro-noyau" (titre exact à préciser)

Comité de programme
-------------------

Julien     Signoles       CEA LIST (président)
Sylvie     Boldo          Inria Saclay-Île de France, LRI (vice-présidente)
June       Andronick      Data61/CSIRO et UNSW
Anne-Gwenn Bosser         ENIB, Lab-STICC
Thomas     Gazagnaire     Docker
Mohamed    Iguernlala     OCamlPro SAS
Frédéric   Loulergue      SICCS, Northern Arizona University
Laurent    Mounier        Verimag, Université Grenoble Alpes
François   Pottier        Inria Paris
Sylvain    Salvati        Université Lille 1
Mihaela    Sighireanu     IRIF, Université Paris 7
Francesco  Zappa Nardeli  Inria Paris

Pour tout renseignement, contacter
   Julien Signoles <julien.signoles at cea.fr>