| pemoreau.mail@gmail.com 2006-07-23, 8:00 am |
| (This message is intentionally written in French)
* MERCI DE FAIRE CIRCULER * * MERCI DE FAIRE CIRCULER *
PREMIER APPEL AUX COMMUNICATIONS PREMIER APPEL AUX COMMUNICATIONS
JFLA'2007 (http://jfla.inria.fr/)
Journ=E9es Francophones des Langages Applicatifs
Organis=E9es par l'INRIA
27-30 janvier 2007
JFLA'2007 est la dix-huiti=E8me conf=E9rence francophone organis=E9e
autour des
langages applicatifs et des techniques de certification bas=E9es sur la
d=E9monstration.
Ces nouvelles journ=E9es se tiendront les
27-30 janvier 2007.
Elles auront lieu =E0 la montagne, =E0 Aix les Bains.
Toujours centr=E9e sur l'approche fonctionnelle de la programmation, la
conf=E9rence a depuis l'an dernier =E9largi son spectre aux techniques et
outils
compl=E9mentaires qui =E9l=E8vent niveau de qualit=E9 des logiciels
(syst=E8mes d'aide =E0
la preuve, r=E9=E9criture, tests, d=E9monstration automatique,
v=E9rification).
Les JFLA r=E9unissent concepteurs et utilisateurs dans un cadre
agr=E9able
facilitant la communication; ces journ=E9es ont pour ambition de couvrir
le
domaine des langages applicatifs, en y incluant les apports d'outils
d'autres
domaines qui autorisent la construction de syst=E8mes logiciels plus
s=FBrs.
L'enseignement de l'approche fonctionnelle du d=E9veloppement logiciel
(sp=E9cification, s=E9mantiques, programmation, compilation,
certification) est
=E9galement un sujet concernant fortement les JFLA.
C'est pourquoi des contributions sur les th=E8mes suivants sont
particuli=E8rement
recherch=E9es (liste non exclusive) :
- Langages fonctionnels : s=E9mantique, compilation, optimisation,
mesures, tests, extensions par d'autres paradigmes de programmation.
- Sp=E9cification, prototypage, d=E9veloppements formels d'algorithmes.
- Utilisation industrielle des langages fonctionnels.
- Assistants de preuve : impl=E9mentation, nouvelles tactiques,
d=E9veloppements pr=E9sentant un int=E9ret technique ou
m=E9thodologique.
- Enseignement dans ses aspects li=E9s =E0 l'approche fonctionnelle
du d=E9veloppement.
Orateurs invit=E9s
----------------
Hassan A=EFt Kaci (ILOG).
Andrew Tolmach (projet Gallium, INRIA Rocquencourt).
Cours
-----
Horatiu Cirstea (LORIA, Universit=E9 Nancy 2).
Marc Pouzet (LRI, Universit=E9 Paris-Sud 11).
Comit=E9 de programme
-------------------
Pierre-Etienne Moreau, Pr=E9sident (LORIA, INRIA Lorraine)
Sandrine Blazy, Vice-Pr=E9sident (CEDRIC, INRIA Rocquencourt)
Judica=EBl Courant (Verimag)
Alain Frisch (INRIA Rocquencourt)
Jean-Louis Giavitto (IBISC, Evry)
Delia Kesner (PPS, Universit=E9 Paris 7)
Jean-Fran=E7ois Monin (Verimag)
Virgile Prevosto (CEA)
Alan Schmitt (INRIA Rhones-Alpes)
Benjamin Werner (LIX, INRIA Futur)
Soumission
----------
Date limite de soumission : 10 octobre 2006
Les soumissions doivent =EAtre soit r=E9dig=E9es en fran=E7ais, soit
pr=E9sent=E9es en fran=E7ais. Elles sont limit=E9es =E0 15 pages A4. Le
style
latex est impos=E9 et se trouve sur le site WEB des journ=E9es =E0
l'adresse
suivante :
http://jfla.inria.fr/2007/actes.sty (en construction)
La soumission est uniquement =E9lectronique, selon la m=E9thode
d=E9taill=E9e
dans :
http://jfla.inria.fr/2007/instructions-fra.html (en
construction)
Les soumissions sont =E0 envoyer aux pr=E9sidents du comit=E9 de
programme,
avec pour titre de votre message ``SOUMISSION JFLA 2007'', =E0 l'adresse
suivante :
jfla2007@loria.fr
Les intentions de soumission envoy=E9es le plus t=F4t possible =E0
l'adresse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
10 octobre 2006 : Date limite de soumission
15 novembre 2006 : Notification aux auteurs
10 d=E9cembre 2006 : Remise des articles d=E9finitifs
15 janvier 2007 : Date limite d'inscription aux journ=E9es
27-30 janvier 2007 : Journ=E9es
Pour tout renseignement, contacter
----------------------------------
Marie-Fran=E7oise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
T=E9l.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Marie-Francoise.Loubressac@inria.fr
http://jfla.inria.fr/2007/ (en construction)
|