Les
32es
Journées Francophones des Langages Applicatifs
(JFLA) se tiendront à Journées virtuelles, plus précisément
En ligne
,
du
mercredi
7
avril
2021
au
vendredi
9
avril
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 !
Soumission
Nous acceptons quatre types de soumissions :
-
Article de recherche de seize pages au plus (hors bibliographie)
, 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 huit pages au plus (hors bibliographie)
, pour rechercher de l'aide pour résoudre un problème
particulier, ou reparler d'un papier déjà publié.
-
Proposition de tutoriel d'une page (hors bibliographie)
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 (hors bibliographie)
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
