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 : premier appel à communications

  • Subject: [Frama-c-discuss] JFLA 2016 : premier appel à communications
  • From: julien.signoles at cea.fr (SIGNOLES Julien)
  • Date: Wed, 23 Sep 2015 17:30:17 +0000
[ This message is intentionally written in French. ]


    * Merci de faire circuler : premier appel à communication *

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

          Journées Francophones des Langages Applicatifs

              en Bretagne du 27 au 30 janvier 2016



Dates importantes
-----------------
23 octobre 2015 : date limite de soumission des résumés
30 octobre 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 et exposés invités
------------------------

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

. 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 : 16 octobre 2015
Date limite de soumission des articles : 23 octobre 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
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150923/ed3298fa/attachment.html>