caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Timothy Bourke <Timothy.Bourke@inria.fr>
To: caml-list@inria.fr
Subject: [Caml-list] JFLA 2022: Call for papers (in French)
Date: Wed, 8 Sep 2021 20:04:11 +0200	[thread overview]
Message-ID: <20210908180411.n472ohbj42uji7c5@MP693-PRO> (raw)

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

[ This message is intentionally written in French. It is a second call 
for papers for the "Francophone Days on Functional Languages" to be 
held in February next year. Original written submissions can be in 
English, but the presentation or tutorial would have to be in French. 
Don't be afraid to submit even if your French is not perfect! ]

- Merci de faire circuler : deuxième appel à communications -

                            JFLA'2022

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

              Journées Francophones des Langages Applicatifs

                      2 février au 5 février 2022

                    Domaine d'Essendiéras (Périgord)

Les 33-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 2 février 2022 au samedi 5 février 
2022.

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 2021
Soumission des articles         8 octobre 2021
Notification aux auteurs        9 novembre 2021
Version finale                  7 décembre 2021
Clôture des inscriptions        7 janvier 2022

* 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=jfla22

--
Chantal Keller et Timothy Bourke

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

             reply	other threads:[~2021-09-08 18:04 UTC|newest]

Thread overview: 2+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-09-08 18:04 Timothy Bourke [this message]
  -- strict thread matches above, loose matches on Subject: below --
2021-07-09 10:15 Timothy Bourke

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20210908180411.n472ohbj42uji7c5@MP693-PRO \
    --to=timothy.bourke@inria.fr \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).