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

  • Subject: [Frama-c-discuss] JFLA 2018 : second appel à communications
  • From: sylvie.boldo at inria.fr (Sylvie Boldo)
  • Date: Mon, 9 Oct 2017 14:25:09 +0200
[ This message is intentionally written in French. ]

      * Merci de faire circuler : second appel à communications *

                JFLA'2018 (https://www.lri.fr/~sboldo/JFLA18/)

            Journées Francophones des Langages Applicatifs

               Banyuls-sur-Mer du 24 au 27 janvier 2018


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

16 octobre 2017  : soumission des résumés
23 octobre 2017  : soumission des articles
27 novembre 2017 : notification aux auteurs


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 !


Soumissions
-----------

Nous acceptons deux types de soumissions :

. Article de recherche de quinze pages au plus, portant sur des
    travaux originaux. Nous acceptons des travaux en cours, pour lesquels
    l'aspect recherche n'est pas entièrement finalisé.

. Article court de six pages au plus, pour décrire un prototype,
    faire la démonstration d'un outil, rechercher de l'aide pour résoudre
    un problème particulier, ou reparler d'un papier déjà publié.

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, et les
auteurs seront invités à faire une présentation lors des journées,
de vingt-cinq minutes pour les articles longs et de quinze minutes pour
les courts.

L'article peut être rédigé en anglais, auquel cas la présentation devra
être effectuée en français. Néanmoins, dans le cas où il s'agit d'une
republication au format court d'un article déjà publié, la publication
doit être en français et la publication originale en anglais.

Le style LaTeX Easychair doit être respecté :
     https://easychair.org/publications/for_authors

Les soumissions se font sur la page Easychair des JFLA :
     https://easychair.org/conferences/?conf=jfla2018


Notez que toute intention de soumission doit être annoncée au plus tard le 16
octobre par le dépôt d'un résumé sur Easychair.


date limite de soumission des résumés  : 16 octobre 2017
date limite de soumission des articles : 23 octobre 2017


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

Sylvie Boldo		Inria Saclay-Île de France (présidente)
Nicolas Magaud		Université de Strasbourg (vice-président)
Clara Bertolissi	LIF-Universite Aix-Marseille
Timothy Bourke		Inria Paris, ENS
Benjamin Canou		OCamlPro
Zaynah Dargaye		CEA LIST
Alain Frisch		LexiFi
Frédéric Gava		Université de Paris-Est
Alain Giorgetti		FEMTO-ST, Université de Franche-Comté
Kim Nguyen		Université Paris-Sud
FrançoisPottier		Inria Paris
Yann Régis-Gianas	IRIF
Laurence Rideau		Inria Sophia Antipolis - Méditerranée



-- 
Sylvie Boldo, projet Toccata, Inria Saclay - ÃŽle-de-France
PCRI, Bât. 650 - Université Paris-Sud - 91405 ORSAY Cedex