[Caml-list] CFP - JFLA 2023 - Journées Francophones des Langages Applicatifs

[Timothy Bourke <Timothy.Bourke@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 4154 bytes --]

[ This message is intentionally written in French. It is a call for
papers for the "Francophone Days on Functional Languages" to be held
at the end of January 2023 in the French Alps. ]

- Merci de faire circuler : premier appel à communications -


                           JFLA'2023

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

          Journées Francophones des Langages Applicatifs

                  31 janvier au 3 février 2023

                  Praz-sur-Arly (Haute-Savoie)


Les 34-ièmes Journées Francophones des Langages Applicatifs (JFLA) se 
tiendront en Haute-Savoie, à Praz-sur-Arly, au coeur des Alpes, du 
mardi 31 janvier 2023 au vendredi 3 février 2023.

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           7 octobre 2022
Soumission des articles         14 octobre 2022
Notification aux auteurs        25 novembre 2022
Version finale                  14 décembre 2022
Clôture des inscriptions         6 janvier 2023

* Soumissions

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é. 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 (hors bibliographie) 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. 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=jfla2023

--
Timothy Bourke et Delphine Demange

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 488 bytes --]