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 2016 : dates limites étendues


  • Subject: [Frama-c-discuss] JFLA 2016 : dates limites étendues
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Fri, 23 Oct 2015 17:09:13 +0200

[ This message is intentionally written in French. ]


     * Merci de faire circuler : dates limites étendues *

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

       Journées Francophones des Langages Applicatifs

              non loin de Saint-Malo (Bretagne),

                   du 27 au 30 janvier 2016



Dates importantes
-----------------
** extension ** 28 octobre 2015 : date limite de soumission des résumés
** extension ** 06 novembre 2015 : date limite de soumission des papiers
04 décembre 2015 : notification aux auteurs
18 décembre 2015 : remise des articles définitifs
27 au 30 janvier 2016 : journées


Les JFLA 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.

. Langages fonctionnels et applicatifs : sémantique, compilation,
   optimisation, typage, mesures, extensions par d'autres paradigmes.

. Assistants de preuve : implémentation, nouvelles tactiques,
   développements présentant un intérêt technique ou méthodologique.

. Logique, correspondance de Curry-Howard, réalisabilité, extraction
   de programmes, modèles.

. Spécification, prototypage, développements formels d'algorithmes.

. Vérification de programmes ou de modèles, méthode déductive,
   interprétation abstraite, raffinement.

. Utilisation industrielle des langages fonctionnels et applicatifs,
   ou des méthodes issues des preuves formelles, outils pour le web.

Les articles soumis aux JFLA sont relus par au moins deux personnes
s'ils sont acceptés, trois personnes s'ils sont rejetés. Les critiques
des relecteurs sont toujours bienveillantes et la plupart du temps
encourageantes et constructives, même en cas de rejet.

Il n'y a donc pas de raison de ne pas soumettre aux JFLA !


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

. Pierre-Yves Strub (IMDEA Software Institute)
. Nobuko Yoshida (Imperial College London)

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

. Patrick Cousot (New York University)
. Jonathan Protzenko (Microsoft Research)


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


Soumission
----------

Nous accepterons deux types de soumissions :

. Article de recherche de quinze pages au plus, portant sur des
   travaux originaux. Nous accepterons volontiers des travaux en cours
   (pour lesquels l'aspect recherche n'est pas entièrement terminé) ;
   dans tous les cas, la forme de l'article devra être soignée.

   Les articles sélectionnés seront publiés dans les actes de la
   conférence, les auteurs seront invités à faire une présentation en
   vingt-cinq minutes lors des journées.

. Exposé court (dix minutes) pour décrire un prototype,
   faire la démonstration d'un outil, reparler d'un article déjà
   publié, rechercher de l'aide pour résoudre un problème particulier.

   Dans ce cas, nous vous demandons seulement de soumettre un résumé de
   deux à trois pages, qui nous permettra de sélectionner les orateurs
   en cas de forte affluence.

Date limite de soumission des résumés : 28 octobre 2015
Date limite de soumission des articles : 6 novembre 2015

Les soumissions doivent être déposées sur Easychair, à l'adresse
suivante :

   https://www.easychair.org/conferences/?conf=jfla16

Elles peuvent être rédigées en anglais. Elles sont limitées à 15
pages A4 et le style LaTeX est imposé :

   http://jfla.inria.fr/2016/actes.sty