[Caml-list] Appel aux Communications JFLA 2007
Pierre-Etienne Moreau
* MERCI DE FAIRE CIRCULER * * MERCI DE FAIRE CIRCULER *
DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME 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 autour 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érification).
Les JFLA réunissent concepteurs et utilisateurs dans un cadre agréable
facilitant la communication; ces journées 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è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 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éthodologique.
- 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 style
latex est imposé et se trouve sur le site WEB des journées à l'adresse
suivante :
http://jfla.inria.fr/2007/actes.sty
La soumission est uniquement électronique, selon la méthode détaillée
dans :
http://jfla.inria.fr/2007/instructions-fra.html
Les soumissions sont à envoyer aux présidents du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA 2007'', à l'adresse
suivante :
Les intentions de soumission envoyées le plus tôt possible à l'adresse
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
_______________________________________________
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