caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] JFLA 2020 : 1er appel à communication
@ 2019-07-10  9:58 Zaynah
  0 siblings, 0 replies; 2+ messages in thread
From: Zaynah @ 2019-07-10  9:58 UTC (permalink / raw)
  To: caml-list

[ This message is intentionally written in French. ]

* Merci de faire circuler : premier appel à communications *

                                        JFLA'2020 
(http://jfla.inria.fr/jfla2020.html)

             Journées Francophones des Langages Applicatifs

             Gruissan -  du 29 janvier au 1 février 2020


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

  1 octobre 2019  : soumission des résumés
  8 octobre 2019  : soumission des articles
   2 novembre 2019 : notification aux auteurs

  Les trente et unièmes Journées Francophones des Langages
  Applicatifs (JFLA) se tiendront à Gruissan, et plus précisément
  à l'hôtel Hôtel Phoebus Garden & spa du mercredi 29 janvier
  au samedi 1 février 2020.

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

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


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


date limite de soumission des résumés  : 1er octobre 2019

date limite de soumission des articles : 8 octobre 2019




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

* [Caml-list] jfla 2020 | 1er appel à communication
@ 2019-11-24 23:53 zaynah dargaye
  0 siblings, 0 replies; 2+ messages in thread
From: zaynah dargaye @ 2019-11-24 23:53 UTC (permalink / raw)
  To: caml-list

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

*Merci de faire circuler : premier appel à communications *

            JFLA'2020 (http://jfla.inria.fr/jfla2020.html)

            Journées Francophones des Langages Applicatifs

            Gruissan -  du 29 janvier au 1 février 2020


Les inscriptions aux JFLA 2020 sont désormais ouvertes :

  https://secure.key4events.com/key4register/register.aspx?e=1146&c=10712

Ces journées 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.

L'inscription est un forfait qui comprend notamment l'hébergement en
pension complète sur le site des journées :
- participant.e plein tarif, chambre single : 600 euros
- étudiant.e orateur.e : 0 euros


Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible !
En particulier, les étudiants orateurs sont invités à s'inscrire, même
s'ils ne paient pas grâce à nos sponsors.


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

8 janvier 2020 : date limite d'inscription aux journées
29 janvier au 1er fevrier 2020 : journées

Cours invités
-------------
* Sylvain Conchon, LRI, Université Paris-Saclay
     "Cubicle: Model Checking Modulo Théories"

* Claire Dross, AdaCore
    "SPARK 2014: La Preuve de Programme pour les Développeurs"


Exposés invités
---------------
* Pierre-Évariste Dagand, CNRS, Inria, Sorbonne Université
   "L'expérience Usuba : un compilateur post-Moore"

* Hugo Herbelin, INRIA Paris, IRIF
   Titre à venir

Articles acceptés
-----------------
La liste des papiers acceptés est disponible sur:
   http://jfla.inria.fr/jfla2020.html#programme


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

Zaynah Dargaye, Nomadic Labs (présidente)
Yann Regis-Gianas, IRIF (vice-président)

Valentin Blot, Inria Saclay
Vincent Botbol, Nomadic Labs
Emmanuel Chailloux Lip6, Université Paris-Sorbonne
Delphine Demange, Inria Rennes-Bretagne Atlantique
Chantal Keller LRI, Université Paris-Sud
Marie Kerjean Inria Rennes-Bretagne Atlantique
Alain Mebsout, OCamlPro
Julien Narboux, ICube, Université de Strasbourg
Pierre-Marie Pédrot, Inria Rennes-Bretagne Atlantique
Marie Pelleau, université de Nice
Gabriel Scherer, Inria Saclay

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

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

end of thread, other threads:[~2019-11-24 23:53 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-07-10  9:58 [Caml-list] JFLA 2020 : 1er appel à communication Zaynah
2019-11-24 23:53 [Caml-list] jfla 2020 | " zaynah dargaye

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).