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 2011: 2eme appel aux communications

  • Subject: [Frama-c-discuss] JFLA 2011: 2eme appel aux communications
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Thu, 16 Sep 2010 09:55:47 +0200
Hello,
the above message is in French on purpose.
Julien
======

* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE 
CIRCULER *

DEUXIEME APPEL AUX COMMUNICATIONS       DEUXIEME APPEL AUX COMMUNICATIONS

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

               Journ?es Francophones des Langages Applicatifs
                        Organis?es par l'INRIA

                        29 janvier au 1 f?vrier 2011

JFLA'2011 est la vingt deuxi?me conf?rence francophone
organis?e autour des langages applicatifs et des techniques de
certification bas?es sur la d?monstration.

Ces nouvelles journ?es se tiendront du

            29 janvier au 1 f?vrier 2011.

Elles auront lieu ? la montagne, ?

            La Bresse, ? proximit? de Mulhouse.

Toujours centr?e sur l'approche fonctionnelle de la programmation, la
conf?rence porte ?galement sur les techniques et outils
compl?mentaires qui ?l?vent le niveau de qualit? des logiciels
(syst?mes d'aide ? la preuve, r??criture, tests, d?monstration
automatique, v?rification).

Les JFLA r?unissent concepteurs et utilisateurs dans un
cadre agr?able qui facilite la communication; ces journ?es ont pour
ambition de couvrir le domaine des langages applicatifs au sens large,
en y incluant les apports d'outils d'autres domaines qui permettent la
construction de syst?mes logiciels plus s?rs. L'enseignement de
l'approche fonctionnelle du d?veloppement logiciel (sp?cification,
s?mantiques, programmation, compilation, certification) est ?galement
un sujet qui concerne au plus haut point les JFLA.

C'est pourquoi des contributions sur les th?mes suivants sont
particuli?rement recherch?es (liste non exclusive) :

- Langages fonctionnels et applicatifs : s?mantique, compilation, 
optimisation,
  mesures, tests, extensions par d'autres paradigmes de programmation.

- Sp?cification, prototypage, d?veloppements formels d'algorithmes.

- Utilisation industrielle des langages fonctionnels et applicatifs.

- Assistants de preuve : impl?mentation, nouvelles tactiques,
  d?veloppements pr?sentant un int?r?t technique ou m?thodologique.

- Enseignement dans ses aspects li?s ? l'approche fonctionnelle
  du d?veloppement.

Les JFLA cherchent avant tout des articles de recherche
originaux qui apportent une r?elle nouveaut?. Toutefois, un article
traitant d'un sujet qui int?resse plusieurs disciplines sera examin?
avec soin, m?me s'il a pr?alablement ?t? pr?sent? ? une autre
communaut? sans rapport avec celle des JFLA.  Un article
ayant ?t? traduit en fran?ais ? partir d'une publication r?cente en
anglais sera examin?, ? condition que la traduction apporte un ?l?ment
nouveau.

Les articles soumis aux JFLA sont relus par au moins 2
personnes s'ils sont accept?s, 3 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 !

Orateurs invit?s
----------------
  Gilles Dowek (?cole Polytechnique)
  Fran?ois Pottier (INRIA Paris -- Rocquencourt)


Cours
-----
  Yves Bertot (INRIA Sophia Antipolis -- M?diterran?e)
  Luc Maranget (INRIA Paris -- Rocquencourt)

Comit? de programme
-------------------
        Sylvain Conchon, Pr?sident (Universit? Paris 11)

        Assia Mahboubi, Vice Pr?sidente (INRIA Saclay -- ?le-de-France)

        Sylvie Boldo (INRIA Saclay -- ?le-de-France)

        Roberto Di Cosmo (Universit? Paris 7)

        James Leifer (INRIA Paris -- Rocquencourt)

        Alexandre Miquel (ENS Lyon)

        David Pichardie (INRIA Rennes -- Bretagne Atlantique)

        Damien Pous (CNRS)

        Julien Signoles (CEA Saclay)

        Laurent Th?ry (INRIA Sophia Antipolis -- M?diterran?e)

Soumission
----------
Date limite de soumission : 17 octobre 2010

Les articles admis aux JFLA seront l'objet d'une s?lection pour 
publication journal d'une version longue.
Les actes des jfla seront remis aux participants durant la conf?rence.

Les soumissions doivent ?tre soit r?dig?es en fran?ais, soit
pr?sent?es en fran?ais. Elles sont limit?es ? 15 pages A4. Le style
latex est impos? et se trouve sur le site WEB des journ?es ? l'adresse
suivante :

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

La soumission  doit ?tre r?alis?e ? l'aide du syst?me EasyChair

          http://www.easychair.org/conferences/?conf=jfla2011


Dates importantes
-----------------
17 octobre 2010 : Date limite de soumission
19 novembre 2010 : Notification aux auteurs
10 d?cembre 2010 : Remise des articles d?finitifs
14 janvier 2011 : Date limite d'inscription aux journ?es
29 janvier au 1 f?vrier 2011 : Journ?es

Pour tout renseignement, contacter
----------------------------------
Ga?lle DORKELD
INRIA Service IST
  Domaine de Voluceau - BP 105
  78153 Le Chesnay cedex - France
Tel : + 33 (0)1 39 63 56 00 - Fax : + 33 (0)1 39 63 56 38
email : Gaelle.DORKELD at inria.fr

http://jfla.inria.fr/2011/