posted by user: grayswandir || 420 views || tracked by 1 users: [display]

JFLA 2017 : Journées Francophones des Langages Applicatifs

FacebookTwitterLinkedInGoogle

Link: http://jfla.inria.fr/2017/
 
When Jan 4, 2017 - Jan 7, 2017
Where somewhere in the Pyrénées, France
Abstract Registration Due Sep 25, 2016
Submission Deadline Oct 9, 2016
Notification Due Nov 18, 2016
Final Version Due Nov 27, 2016
Categories    functional programming   proof assistants   verification
 

Call For Papers



* Merci de faire circuler : premier appel à communications *

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

Journées Francophones des Langages Applicatifs

dans les Pyrénées, du 4 au 7 janvier 2017


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

25 septembre 2016 : date limite de soumission des résumés
09 octobre 2016 : date limite de soumission des articles
18 novembre 2016 : notification aux auteurs
27 novembre 2016 : remise des articles définitifs
04 au 07 janvier 2017 : 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 invités
-------------

. Guillaume Burel (ENSIIE)
sur "Dedukti, un vérificateur de preuve universel" (titre exact à préciser)

. Benjamin Canou (OCamlPro SAS)
sur "comment programmer en OCaml aujourd'hui" (titre exact à préciser)

Exposés invités
-------------

. Stéphane Lescuyer et Florence Plateau (Prove and Run)
sur "langage, prouveur et autres outils dédiés à la preuve d'un micro-noyau"
(titre exact à préciser)

. second orateur invité à préciser

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

Julien Signoles CEA LIST (président)
Sylvie Boldo Inria Saclay-Île de France, LRI (vice-présidente)
June Andronick Data61/CSIRO et UNSW
Anne-Gwenn Bosser ENIB, Lab-STICC
Thomas Gazagnaire Docker
Mohamed Iguernlala OCamlPro SAS
Frédéric Loulergue Université d'Orléans
Laurent Mounier Verimag, Université Grenoble Alpes
François Pottier Inria Paris
Sylvain Salvati Inria Bordeaux-Sud Ouest
Mihaela Sighireanu IRIF, Université Paris 7
Francesco Zappa Nardeli Inria Paris

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 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 est imposé :

http://jfla.inria.fr/2017/actes.sty

date limite de soumission des résumés : 25 septembre 2016
date limite de soumission des articles : 09 octobre 2016

Related Resources

ICLR 2017   5th International Conference on Learning Representations
JFSMA 2016   Journées Francophones sur les Systèmes Multi-Agents
JFPC 2016   Douzièmes Journées Francophones de Programmation par Contraintes
MARAMI 2016   Modèles et Analyse des Réseaux : Approches Mathématiques et Informatiques
JéTou 2017   Journées d'études Toulousaines
EGC 2017   Conférence Extraction et Gestion des Connaissances (EGC 2017)
RFIA 2016   Reconnaissance des Formes et l'Intelligence Artificielle
ELKL - 4 2016   4th Endangered and Lesser-known Languages Conference
CMES 2016   1st International Symposium on Computational Mathematics and Engineering Sciences
CIFEM 2016   Colloque International sur la Formation et l'Enseignement des Mathématiques