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 : Dernier appel aux communications

  • Subject: [Frama-c-discuss] JFLA 2011 : Dernier appel aux communications
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Mon, 04 Oct 2010 09:44:58 +0200
Hello,

This message is in French on purpose.

--
Julien


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

DERNIER APPEL AUX COMMUNICATIONS       DERNIER 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, tr?s probablement ?

             La Bresse, dans les Vosges.

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 - Ile de France)

         Sylvie Boldo (INRIA Saclay - Ile 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
----------

Les actes devraient ?tre publi?s dans le journal ?Studia Informatica
Universalis? chez Hermann.

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

Contact scientifique
--------------------

Sylvain Conchon
INRIA Saclay - ?le-de-France
ProVal
Parc Club Orsay Universit?, b?timent N
4 rue Jacques Monod
F-91893 Orsay cedex
France


-------------- section suivante --------------
Un texte encapsul? et encod? dans un jeu de caract?res inconnu a ?t? nettoy?...
Nom : message-footer.txt
URL : <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20101004/1242d340/attachment.txt>