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 2014 - Denier appel et nouvelles dates de soumission

  • Subject: [Frama-c-discuss] JFLA 2014 - Denier appel et nouvelles dates de soumission
  • From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)
  • Date: Thu, 26 Sep 2013 08:07:21 +0200
     * Merci de faire circuler : deuxi?me appel ? communication *

               JFLA'2014 (http://jfla.inria.fr/2014/)

           Journ?es Francophones des Langages Applicatifs

                     Organis?es par l'INRIA,
          Villa Clythia ? Fr?jus - Var, du 8 janvier au 11 janvier 2014



Nouvelles Dates
---------------
*1er octobre 2013 : Soumission des R?sum?s sur Easychair
*10 octobre 2013 : Soumission des Articles sur Easychair
12 novembre 2013 : Notification des auteurs
2 d?cembre 2013 : Remise des articles d?finitifs
10 d?cembre 2013 : Date limite d'inscription aux journ?es
8 janvier au 11 janvier 2014 : Journ?es

Gr?ce au soutien des GDR, nous avons la possibilit? de financer une partie
des journ?es pour quelques ?tudiants ou jeunes chercheurs. N'h?sitez pas ?
rentrer en contact avec la pr?sidente ou le vice-pr?sident d?s que possible.

--------------------------------------------------------------------
Les JFLA r?unissent concepteurs, utilisateurs et th?oriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, et des objets math?matiques qui sous-tendent ces
outils. Ces domaines doivent ?tre pris au sens large : nous souhaitons
avant tout favoriser 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.

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


Cours et conf?renciers invit?s
------------------------------

Olivier Danvy
Jean Krivine
Xavier Leroy
Christine Paulin


Comit? de programme
-------------------

     Christine Tasson, Pr?sidente (Universit? Paris Diderot)

     David Baelde, Vice-pr?sident (?NS Cachan)

     Jade Alglave (University College of London)

     Zaynah Dargaye (CEA LIST)

     Jean-Christophe Filli?tre (CNRS -- Universit? Paris Sud)

     Pascal Fradet (INRIA-Rhones Alpes)

     Jacques Garrigue (Nagoya University)

     Barbara Petit (INRIA-Rhones Alpes)

     Sylvain Pradalier (Dassault Syst?mes)

     Julien Signoles (CEA LIST)

     Matthieu Sozeau (INRIA Paris--Rocquencourt)

     Sylvain Pogodalla (Loria/INRIA Nancy)


Soumission
----------

Nous accepterons cette ann?e deux types de soumissions :

. article de recherche de quinze pages au plus, portant sur des
   travaux originaux. Nous accepterons volontiers des travaux en cours
   (pour lesquels l'aspect recherche n'est pas enti?rement termin?) ;
   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, les auteurs seront invit?s ? faire une pr?sentation en
   vingt-cinq minutes lors des journ?es.

. proposition d'expos? court (dix minutes) pour d?crire un prototype,
   faire la d?monstration d'un outil, reparler d'un article d?j?
   publi?, rechercher de l'aide pour r?soudre un probl?me particulier.

   Dans ce cas, nous vous demandons seulement de soumettre un r?sum? de
   deux ? trois pages, qui nous permettra de s?lectionner les orateurs
   en cas de forte affluence.


Date limite de soumission des r?sum?s : 1er octobre 2013
--------------------------------------------------------

Les soumissions doivent ?tre d?pos?es sur Easychair, ? l'adresse
suivante :

          https://www.easychair.org/conferences/?conf=jfla2014

Elles peuvent ?tre r?dig?es en anglais. Elles sont limit?es ? 15
pages A4 et le style LaTeX est impos? :

          http://jfla.inria.fr/2014/actes.sty

Merci de signaler vos intentions de soumissions au plus t?t, par email ? la
pr?sidente du comit? de programme.