English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Appel a participation aux JFLA 2007
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-25 (10:42)
From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau@l...>
Subject: Appel a participation aux JFLA 2007
Bonjour,

Le comité de programme des JFLA 2007 a le plaisir de vous adresser
l'appel à participation:

http://jfla.inria.fr/2007/index.html

Le programme comprend des cours-présentations permettant de s'initier au calcul
de réécriture avec Horatiu Cirstea (LORIA), et aux langages synchrones avec
Marc Pouzet (LRI).
Nous aurons également deux conférences invitées, l'une par Hassan Aït Kaci
(ILOG), l'autre par Andrew Tolmach (projet Gallium, INRIA Rocquencourt)

Une session de démonstrations d'outils a également été prévue.
Vous pouvez envoyer vos propositions de démonstration à
Pierre-Etienne.Moreau@loria.fr et Sandrine.Blazy@inria.fr

Merci d'avance de l'intérêt que vous porterez à ces Journées
Françaises des Langages Applicatifs, qui souhaitent s'ouvrir à
toutes les approches de spécification et de programmation
rejoignant notre souci de développement de logiciels plus sûrs.

En espérant partager avec vous toute la richesse scientifique des
JFLA 2007 ainsi que toutes les spécialités de la ville d'Aix-les-Bains,
dans l'ambiance traditionnellement conviviale de ces Journées.

Bien cordialement

Pierre-Etienne Moreau et Sandrine Blazy, Présidents du Comité de programme