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] [CFP] Premier appel à communication


  • Subject: [Frama-c-discuss] [CFP] Premier appel à communication
  • From: yrg at irif.fr (Yann Régis-Gianas)
  • Date: Wed, 15 Jul 2020 13:54:39 +0200

[ This message is intentionally written in French. ]

- Merci de faire circuler : premier appel à communications -


                           JFLA'2021

                 http://jfla.inria.fr/jfla2021.html

             Journées Francophones des Langages Applicatifs

                     3 février au 6 février 2021

            Domaine d'Essendiéras (Périgord)


Les 32-ièmes Journées Francophones des Langages Applicatifs (JFLA) se
tiendront dans le Périgord, à Saint Médard d’Excideuil, au coeur du
Domaine d'Essendiéras, du mercredi 3 février 2021 au samedi 6
février 2021.

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 !

* Dates importantes

Soumission des résumés        1er octobre 2020
Soumission des articles        8 octobre 2020
Notification aux auteurs 9 novembre 2020
Clôture des inscriptions 8 janvier 2021

* Soumissions

Nous acceptons quatre types de soumissions :

- Article de recherche de seize pages au plus (bibliographie incluse),
  portant sur des travaux originaux. Nous acceptons des travaux en
  cours, pour lesquels l'aspect recherche n'est pas entièrement
  finalisé. Nous encourageons aussi la soumission de "perles", ces
  articles présentant avec élégance un résultat connu sous un angle
  nouveau.

- Article court de huit pages au plus (bibliographie incluse) pour
  rechercher de l'aide pour résoudre un problème particulier ou pour
  reparler d'un papier déjà publié.

- Proposition de tutoriel d'une page exposant son intérêt et ses
  objectifs ainsi que l'environnement informatique nécessaire à
  sa réalisation.

- Proposition de démonstration d'un outil ou d'un prototype de deux
  pages décrivant pourquoi ce logiciel est intéressant ainsi que ses
  spécificités.

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. Les tutoriels auront un créneau de vingt-cinq
minutes et les démonstrations d'outils ou de prototypes se verront
allouer quinze minutes.

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=jfla21


-- 
Chantal Keller et Yann Régis-Gianas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20200715/7da5b9b9/attachment.html>