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] Call for papers: JFLA 2015

  • Subject: [Frama-c-discuss] Call for papers: JFLA 2015
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Wed, 25 Jun 2014 09:42:03 +0200
This message is intentionally written in French.

    * Merci de faire circuler : premier appel ? communication *


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

           Journ?es Francophones des Langages Applicatifs

                     Organis?es par Inria
           au Val d'Ajol (Vosges) du 7 au 10 janvier 2015



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

26 septembre 2014 : date limite de soumission des r?sum?s
3 octobre 2014 : date limite de soumission des papiers
3 novembre 2014 : notification aux auteurs
30 novembre 2014 : cl?ture des inscriptions
1er d?cembre 2014 : remise des articles d?finitifs
7 au 10 janvier 2015 : 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, 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.

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

. Stephan Merz (Inria Nancy & LORIA) : V?rification d'algorithmes distribu?s
. Manuel Serrano (Inria Sophia-Antipolis) : Programmation web en Hop

. Marco Gaboardi (University of Dundee) : Differential privacy
. Un autre invit? sera annonc? prochainement.


Comit? de programme
-------------------

David Baelde           LSV, ENS Cachan (Pr?sident)
Jade Alglave           UCL (Vice-pr?sidente)
Maria-Virginia Aponte  CNAM
Sylvie Boldo           Inria, LRI
Pierre Clairambault    ENS Lyon
Delphine Demange       IRISA, Universit? de Rennes 1
Kim Nguyen             LRI, Universit? Paris-Sud 11
Florence Plateau       Prove & Run
Christophe Raffalli    LAMA, Universit? de Savoie
Julien Signoles        CEA LIST
Pierre-Yves Strub      IMDEA Software Institute
Jules Villard          Imperial College London


Soumission
----------

Nous acceptons 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?)
   tout particuli?rement s'il s'agit de jeunes chercheurs. 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 : 26 septembre 2014
Date limite de soumission des articles : 3 octobre 2014

Les soumissions doivent ?tre d?pos?es sur Easychair, ? l'adresse
suivante :

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

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/2015/actes.sty