* Deuxieme appel a participation aux JFLA 2007
@ 2007-01-08 20:44 Pierre-Etienne Moreau
0 siblings, 0 replies; only message in thread
From: Pierre-Etienne Moreau @ 2007-01-08 20:44 UTC (permalink / raw)
To: caml-list
[-- Attachment #1: Type: text/plain, Size: 1215 bytes --]
Bonjour,
merci de nous excuser pour les réceptions multiples.
Le comité de programme des JFLA 2007 a le plaisir de vous adresser
le deuxième appel à participation.
Le programme comprend deux exposés invités :
* Hassan Aït Kaci (ILOG)
Satisfaction modulo théories : application à la vérification de règles
métiers par contraintes
* Andrew Tolmach (projet Gallium, INRIA Rocquencourt)
Operating Systems in Haskell: Implementations, Models, and Proofs
Un cours sur les langages de programmation sera donné par Marc Pouzet (LRI). Un
autre cours, sur la réécriture, sera donné par Horatiu Cirstea (LORIA) et
Antoine Reilles (LORIA).
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
Les inscription sont ouvertes. Merci de vous inscrire
avant le *** 20 janvier 2007 ***
Pour tous détails, voir l'appel à participation: http://jfla.inria.fr/2007/
Merci d'avance de l'intérêt que vous porterez à ces Journées
Françaises des Langages Applicatifs.
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:[~2007-01-08 20:44 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-01-08 20:44 Deuxieme 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).