The Coq mailing list

[Pierre Casteran <pierre.casteran AT labri.fr>]

--- Begin Message ---

• From: Pierre-Etienne Moreau <Pierre-Etienne.Moreau AT loria.fr>
• To: Pierre-Etienne.Moreau AT loria.fr, Sandrine.Blazy AT inria.fr
• Cc: Judicael.Courant AT imag.fr, Alain.Frisch AT inria.fr, hak AT ilog.fr, cirstea AT loria.fr, pouzet AT lri.fr, giavitto AT ibisc.univ-evry.fr, kesner AT pps.jussieu.fr, Jean-Francois.Monin AT imag.fr, virgile.prevosto AT m4x.org, Alan.Schmitt AT inrialpes.fr, Benjamin.Werner AT inria.fr, Pierre Weis <Pierre.Weis AT inria.fr>, therese.hardin AT lip6.fr, dubois AT iie.cnam.fr, casteran AT labri.fr
• Subject: Appel a participation aux JFLA 2007
• Date: Mon, 8 Jan 2007 21:51:31 +0100

Bcc: 
Subject:
Reply-To: 
Bonjour,

voici le 2eme appel à participation que vous avez du recevoir en de
nombreux exemplaires par ailleurs. 
Merci de bien vouloir nous aider à diffuser largement cette annonce.

 amicalement,
 Pierre-Etienne

----------
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 AT loria.fr
 et 
Sandrine.Blazy AT 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: pgpAs9QMwstAe.pgp
Description: PGP signature

--- End Message ---