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'16 : 2ème appel à participation

  • Subject: [Frama-c-discuss] JFLA'16 : 2ème appel à participation
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Fri, 8 Jan 2016 11:55:00 +0100
[This message is intentionally written in French.]


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


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

         Journées Francophones des Langages Applicatifs

             à Saint Malo, du 27 au 30 janvier 2016


Les incriptions aux JFLAs 2016 sont ouvertes jusqu'au 17 janvier 2016. 
Nous espérons que vous serez nombreux à participer à ces journées ; 
inscrivez-vous dès que possible!


Programme
---------

Le programme des journées est disponible en ligne :

     http://jfla.inria.fr/2016/programme.html

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

17 janvier 2016 : date limite d'inscription aux journées
27 au 30 janvier 2016 : journées

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

* Pierre-Yves Strub (IMDEA Software Institute).
     Une introduction à la preuve de sécurité formelle avec le système 
EasyCrypt.

* Nobuko Yoshida (Imperial College London).
     Session types and their applications.

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

* Patrick Cousot (New York University).
     Construction of invariance proof methods.

* Jonathan Protzenko (Microsoft Research).
     The global sequence protocol: a memory model for distributed systems.

Articles acceptés
-----------------

* S. Archipoff et D. Janin.
     Pour un raffinement spatio-temporel tuilé.
* P.-L. Bégay, P. Manoury et I. Rakotonirina.
     Une mesure ordinale pour les preuves de terminaison en Coq.
* M. Bodin, T. Jensen and A. Schmitt.
     An Abstract Separation Logic for Interlinked Extensible Records.
* B. Canou, Ç. Bozman et G. Henry.
     Sous le capot du MOOC OCaml.
* S. Castellan.
     Weak memory models using event structures.
* R. El Sibaïe et E. Chailloux.
     Pendulum : une extension réactive pour la programmation Web en OCaml.
* J.-C. Filliâtre et M. Pereira.
     Itérer avec confiance.
* C. Gries, P. Boutry et J. Narboux.
     Somme des angles d'un triangle et unicité de la parallèle :
     une preuve d'équivalence formalisée en Coq.
* F. Pottier.
     Reachability and error diagnosis in LR(1) automata.

* A.-G. Bosser, P. Courtieu, J. Forest et M.-V. Aponte.
     Une preuve est une histoire (présentation courte).
* J.-C. Lechenet, N. Kosmatov. et P. Le Gall.
     Coq a dit : fromage tranché ne peut cacher ses trous (présentation 
courte).
* B. Rognier et G. Duhamel.
     Présentation de la plateforme edukera (présentation courte).

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

Jade Alglave           Microsoft Research Cambridge et University 
College London
                        (Présidente)
Julien Signoles        CEA LIST (Vice-président)
Thibaut Balabonski     LRI, Université Paris-Sud
Thomas Braibant        Jane Street
Sylvie Boldo           Inria, LRI
Cyril Cohen            Inria Sophia Antipolis - Méditerranée
Claire David           Université Paris-Est Marne-la-Vallée
Cezara Dragoi          Inria Paris-Rocquencourt
Jean-Marie Madiot      Princeton University
Gustavo Petri          LIAFA — Univ. Paris Diderot (Paris 7)
Boris Yakobowski       CEA LIST

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