[Caml-list] Appel aux communications JFLA 2007
Pierre-Etienne Moreau
* MERCI DE FAIRE CIRCULER * * MERCI DE FAIRE CIRCULER *
PREMIER APPEL AUX COMMUNICATIONS PREMIER APPEL AUX COMMUNICATIONS
JFLA'2007 (http://jfla.inria.fr/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
27-30 janvier 2007
JFLA'2007 est la dix-huitième conférence francophone organisée aut
our des
langages applicatifs et des techniques de certification basées sur la
démonstration.
Ces nouvelles journées se tiendront les
27-30 janvier 2007.
Elles auront lieu à la montagne, à Aix les Bains.
Toujours centrée sur l'approche fonctionnelle de la programmation, la
conférence a depuis l'an dernier élargi son spectre aux techniques et
outils
complémentaires qui élèvent niveau de qualité des logiciels (syst
èmes d'aide à
la preuve, réécriture, tests, démonstration automatique, vérifica
tion).
Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréab
le
facilitant la communication; ces journées ont pour ambition de couvrir
le
domaine des langages applicatifs, en y incluant les apports d'outils d'au
tres
domaines qui autorisent 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, certificatio
n) est
également un sujet concernant fortement les JFLA.
C'est pourquoi des contributions sur les thèmes suivants sont particuli
èrement
recherchées (liste non exclusive) :
- Langages fonctionnels : 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.
- Assistants de preuve : implémentation, nouvelles tactiques,
développements présentant un intéret technique ou méthodologiq
ue.
- Enseignement dans ses aspects liés à l'approche fonctionnelle
du développement.
Orateurs invités
----------------
Hassan Aït Kaci (ILOG).
Andrew Tolmach (projet Gallium, INRIA Rocquencourt).
Cours
-----
Horatiu Cirstea (LORIA, Université Nancy 2).
Marc Pouzet (LRI, Université Paris-Sud 11).
Comité de programme
-------------------
Pierre-Etienne Moreau, Président (LORIA, INRIA Lorraine)
Sandrine Blazy, Vice-Président (CEDRIC, INRIA Rocquencourt)
Judicaël Courant (Verimag)
Alain Frisch (INRIA Rocquencourt)
Jean-Louis Giavitto (IBISC, Evry)
Delia Kesner (PPS, Université Paris 7)
Jean-François 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 être soit rédigées en français, soit
présentées en français. Elles sont limitées à 15 pages A4. Le s
tyle
latex est imposé et se trouve sur le site WEB des journées à l'adre
sse
suivante :
http://jfla.inria.fr/2007/actes.sty (en construction)
La soumission est uniquement électronique, selon la méthode détaill
ée
dans :
http://jfla.inria.fr/2007/instructions-fra.html (en constructio
n)
Les soumissions sont à envoyer aux présidents du comité de programm
e,
avec pour titre de votre message ``SOUMISSION JFLA 2007'', à l'adresse
suivante :
Les intentions de soumission envoyées le plus tôt possible à l'adre
sse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
10 octobre 2006 : Date limite de soumission
15 novembre 2006 : Notification aux auteurs
10 décembre 2006 : Remise des articles définitifs
15 janvier 2007 : Date limite d'inscription aux journées
27-30 janvier 2007 : Journées
Pour tout renseignement, contacter
----------------------------------
Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Marie-Francoi...@inria.fr
http://jfla.inria.fr/2007/ (en construction)
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs