Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] JFLA 2019 : dernier appel à communications et extension pour les résumés et les articles

  • Subject: [Frama-c-discuss] JFLA 2019 : dernier appel à communications et extension pour les résumés et les articles
  • From: magaud at unistra.fr (Nicolas Magaud)
  • Date: Mon, 15 Oct 2018 10:33:37 +0200
Suite à de nombreuses demandes, la limite pour soumettre les résumés est étendue au mercredi 17 octobre.
La limite pour les articles complets est repoussée d’une semaine (nouvelle limite : 26 octobre 2018).

Merci de soumettre vos résumés dès que possible, même si la limite pour les versions complètes a été repoussée.

Nicolas Magaud


> On 26 Sep 2018, at 16:18, Nicolas Magaud <magaud at unistra.fr <mailto:magaud at unistra.fr>> wrote:
> 
> [ This message is intentionally written in French. ]
> 
> * Merci de faire circuler : dernier 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 (quelques jours de plus pour le résumé, 1 semaine de plus pour l’article complet)
> ---------------------
> 
> 17 octobre 2018  : soumission des résumés
> 26 octobre 2018  : soumission des articles
> 19 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 !
> 
> Exposés invités
> ------------------
> 
> . Ilaria Castellani, Inria Sophia-Antipolis Méditerranée : 
> Les types de sessions (titre exact à précier)
> 
> . Pierre Courtieu, CNAM Paris : 
> Is your robotic swarm certified? (titre exact à préciser)
> 
> 
> Cours invités
> ---------------
> 
> . Guillaume Melquiond, Inria Saclay : 
> Arithmétique des ordinateurs et preuves formelles (titre exact à préciser)
> 
> . Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique : 
> Des théories des types qui font de l'effet (titre exact à préciser)
> 
> 
> 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 *17
> octobre 2018* par le dépôt d'un résumé sur Easychair.
> 
> 
> date limite de soumission des résumés  : 17 octobre 2018
> date limite de soumission des articles : 26 octobre 2018
> 
> -- 
> Nicolas Magaud, ICube UMR 7357 CNRS Université de Strasbourg
> 300 bd Sébastien Brant - CS 10413 - F-67412 Illkirch Cedex
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20181015/cab28806/attachment.html>