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

  • Subject: [Frama-c-discuss] JFLA 2011 : 1er appel aux communications
  • From: Julien.Signoles at cea.fr (Julien Signoles)
  • Date: Tue, 20 Jul 2010 14:36:42 +0200
(This message is intentionally written in French)

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

PREMIER APPEL AUX COMMUNICATIONS       PREMIER APPEL AUX COMMUNICATIONS

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

               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 (INRIA Grenoble - Rh?ne-Alpes)

        Julien Signoles (CEA Saclay)

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

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

T?l. : + 33 (0)1 72 92 59 56
Courriel : Sylvain.Conchon at lri.fr