caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Appel a participation aux JFLA 2007
@ 2006-12-25 10:42 Pierre-Etienne Moreau
  0 siblings, 0 replies; only message in thread
From: Pierre-Etienne Moreau @ 2006-12-25 10:42 UTC (permalink / raw)
  To: caml-list, coq-club, modulogic, alp-diffusion
  Cc: Pierre-Etienne.Moreau, Sandrine.Blazy, Judicael.Courant,
	Alain.Frisch, giavitto, kesner, Jean-Francois.Monin,
	virgile.prevosto, Alan.Schmitt, Benjamin.Werner, hak.ilog.fr,
	cirstea, pouzet

[-- Attachment #1: Type: text/plain, Size: 1216 bytes --]

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


[-- Attachment #2: Type: application/pgp-signature, Size: 186 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2006-12-25 10:42 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-12-25 10:42 Appel a participation aux JFLA 2007 Pierre-Etienne Moreau

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).