Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] JFLA 2007 : extension jusqu'au 18/10/2006

1 view
Skip to first unread message

Pierre-Etienne Moreau

unread,
Oct 11, 2006, 5:51:27 AM10/11/06
to rewr...@ens-lyon.fr, caml...@inria.fr, qsl_...@loria.fr
Avec toutes nos excuses pour les envois multiples
-------------------------------------------------
Date limite de soumission repoussée au

*** mercredi 18 octobre 2006 ***

-------------------------------------------------

(This message is intentionally written in French)

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

DENRIER APPEL AUX COMMUNICATIONS DERNIER 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.


Soumission
----------
Suite à de nombreuses demandes d'extension,
la date limite de soumission est repoussée au

*** mercredi 18 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 :

Pierre-Eti...@loria.fr


Note : les auteurs qui ont déjà soumis un article peuvent bien évidemment
---- continuer à l'améliorer jusqu'au 18 octobre 2006.

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)


Dates importantes
-----------------
18 octobre 2006 : Date limite de soumission
22 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/

_______________________________________________
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

0 new messages