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 - Troisieme appel a Communication

  • Subject: [Frama-c-discuss] JFLA 2014 - Troisieme appel a Communication
  • From: Christine.Tasson at pps.univ-paris-diderot.fr (Christine Tasson)
  • Date: Tue, 03 Sep 2013 09:22:46 +0200
     * Merci de faire circuler : Troisi?me appel ? communication *

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

           Journ?es Francophones des Langages Applicatifs

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



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

D?s maintenant : Signaler vos intentions de soumission par email ? la 
pr?sidente du comit? de programme
1er octobre 2013 : Date limite de soumission
1er novembre 2013 : Notification aux auteurs
22 novembre 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


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

Olivier Danvy
Jean Krivine
Xavier Leroy
Christine Paulin

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


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)


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 : 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