* JFLA 2009: 2ème appel aux communications
@ 2008-09-16 12:02 Alan Schmitt
0 siblings, 0 replies; 2+ messages in thread
From: Alan Schmitt @ 2008-09-16 12:02 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 5578 bytes --]
(This message is intentionally written in French)
* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE
CIRCULER *
DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX
COMMUNICATIONS
JFLA'2009 (http://jfla.inria.fr/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
31 janvier au 3 février 2009
JFLA'2009 est la vingtiè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
31 janvier au 3 février 2009.
Elles auront lieu à la montagne, à
Saint-Quentin sur Isère, au pied du Vercors, à proximité
de Grenoble.
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 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 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
----------------
Vincent Balat (Université Paris 7): « Ocsigen : approche
fonctionnelle typée de la programmation Web. »
Eduardo Giménez (Trusted Logic): « (Non communiqué) »
Cours
-----
Gérard Huet (INRIA Paris-Rocquecourt): « Automates, transducteurs et
machines d'Eilenberg applicatives dans la boîte à outils Zen.
Applications au traitement de la langue. »
Assia Mahboubi (LIX, INRIA Saclay - Île-de-France): « Présentation
de SSRefelect »
Comité de programme
-------------------
Alan Schmitt, Président (LIG, INRIA Grenoble - Rhône-Alpes)
Micaela Mayero, Vice-Présidente (LIPN, Université Paris 13)
Boutheina Chetali (Gemalto)
Sylvain Conchon (LRI, Université Paris-Sud)
David Delahaye (CEDRIC, CNAM)
Hugo Herbelin (LIX, INRIA Saclay - Île-de-France)
Didier Le Botlan (LAAS-CNRS, INSA de Toulouse)
Jean-Vincent Loddo (LIPN, Université Paris 13)
Alexandre Miquel (PPS, Université Paris 7)
Davide Sangiorgi (Université de Bologne)
Soumission
----------
Date limite de soumission : 15 octobre 2008
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/2009/actes.sty
La soumission est uniquement électronique, selon la méthode détaillée
dans
http://jfla.inria.fr/2009/instructions-fra.html
Les soumissions sont à envoyer au président du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA 2009'', à l'adresse
suivante :
alan.schmitt@inria.fr
Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
15 octobre 2008 : Date limite de soumission
21 novembre 2008 : Notification aux auteurs
10 décembre 2008 : Remise des articles définitifs
14 janvier 2009 : Date limite d'inscription aux journées
31 janvier au 3 février 2009 : Journées
Pour tout renseignement, contacter
----------------------------------
INRIA Grenoble Rhône-Alpes
Bureau des Cours-Colloques
655 avenue de l'Europe - Montbonnot
38334 Saint Ismier Cedex - France
Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06
email : colloques@inrialpes.fr
http://jfla.inria.fr/2009/
[-- Attachment #2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 186 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* JFLA 2009: 2ème appel aux communications
@ 2009-09-20 9:27 Micaela Mayero
0 siblings, 0 replies; 2+ messages in thread
From: Micaela Mayero @ 2009-09-20 9:27 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: TEXT/PLAIN, Size: 5277 bytes --]
* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER
*
DEUXIEME APPEL AUX COMMUNICATIONS DEUXIEME APPEL AUX COMMUNICATIONS
JFLA'2010 (http://jfla.inria.fr/2010/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
30 janvier au 2 février 2010
JFLA'2010 est la vingt et uniè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
30 janvier au 2 février 2010.
Elles auront lieu à la mer, à
Vieux-Port La Ciotat, à proximité de Marseille.
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
----------------
Leslie Lamport (Microsoft): « Preuves et prouveur TLA+ »
Christian Queinnec (Université Paris 6): « De la correction automatisée »
Cours
-----
Pierre Letouzey (Université paris 7): « (à venir) »
Louis Mandel (Université Paris 11): « (à venir) »
Comité de programme
-------------------
Micaela Mayero, Présidente (Université Paris 13)
Sylvain Conchon, Vice Président (Université Paris 11)
Assia Mahboubi (INRIA Saclay)
Alan Schmitt (INRIA Grenoble - Rhône-Alpes)
Pierre Courtieu (CNAM Paris)
Damien Pous (CNRS Grenoble)
Bruno Barras (INRIA Saclay)
Bernard Serpette (INRIA Sophia Antipolis - Méditerranée)
Manuel Serrano (INRIA Sophia Antipolis - Méditerranée)
Damien Doligez (INRIA Paris - Rocquencourt)
Soumission
----------
Date limite de soumission : 15 octobre 2009
Les actes devraient être publiés soit au format LNCS
chez Springer, soit 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/2010/actes.sty
La soumission est uniquement électronique, selon la méthode détaillée dans
http://jfla.inria.fr/2010/instructions.fr.html
Les soumissions sont à envoyer au président du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA 2010'', à l'adresse
suivante :
Micaela.Mayero [@] lipn.univ-paris13.fr
Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
15 octobre 2009 : Date limite de soumission
20 novembre 2009 : Notification aux auteurs
10 décembre 2009 : Remise des articles définitifs
15 janvier 2010 : Date limite d'inscription aux journées
30 janvier au 2 février 2010 : Journées
Pour tout renseignement, contacter
----------------------------------
INRIA Grenoble Rhône-Alpes
Bureau des Cours-Colloques
655 avenue de l'Europe - Montbonnot
38334 Saint Ismier Cedex - France
Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06
email : colloques@inrialpes.fr
http://jfla.inria.fr/2010/
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-09-20 9:27 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-09-16 12:02 JFLA 2009: 2ème appel aux communications Alan Schmitt
2009-09-20 9:27 Micaela Mayero
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).