caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] JFLA 2019 : 1er appel à communications
@ 2018-07-12  9:00 Nicolas Magaud
  0 siblings, 0 replies; 1+ messages in thread
From: Nicolas Magaud @ 2018-07-12  9:00 UTC (permalink / raw)
  To: caml-list

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

[ This message is intentionally written in French. ]

* Merci de faire circuler : premier appel à communications *

          JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ <https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/>)

          Journées Francophones des Langages Applicatifs

          Les Rousses dans le Jura du 30 janvier au 2 février 2019 


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

12 octobre 2018  : soumission des résumés
19 octobre 2018  : soumission des articles
14 novembre 2018 : notification aux auteurs


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 !


Soumissions
-----------

Nous acceptons deux 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é.

. Article court de huit pages au plus (bibliographie incluse), 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 ê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.

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 <https://easychair.org/publications/for_authors>

Les soumissions se font sur la page Easychair des JFLA :
   https://easychair.org/conferences/?conf=jfla2019 <https://easychair.org/conferences/?conf=jfla2019>


Notez que toute intention de soumission doit être annoncée au plus tard le 12
octobre 2018 par le dépôt d'un résumé sur Easychair.


date limite de soumission des résumés  : 12 octobre 2018
date limite de soumission des articles : 19 octobre 2018

-- 
Nicolas Magaud, ICube UMR 7357 CNRS Université de Strasbourg
300 bd Sébastien Brant - CS 10413 - F-67412 Illkirch Cedex

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 6847 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-07-12  9:00 [Caml-list] JFLA 2019 : 1er appel à communications Nicolas Magaud

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox