From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id B9247BBA7 for ; Tue, 20 Dec 2005 08:46:10 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jBK7kA3O001215 for ; Tue, 20 Dec 2005 08:46:10 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id IAA20787 for ; Tue, 20 Dec 2005 08:46:09 +0100 (MET) Received: from smtp2.wanadoo.fr (smtp2.wanadoo.fr [193.252.22.29]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jBK7k9Gn014795 for ; Tue, 20 Dec 2005 08:46:09 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf0208.wanadoo.fr (SMTP Server) with ESMTP id 5AB231C00252 for ; Tue, 20 Dec 2005 08:46:09 +0100 (CET) Received: from [192.168.1.14] (AMontsouris-151-1-23-169.w82-123.abo.wanadoo.fr [82.123.20.169]) by mwinf0208.wanadoo.fr (SMTP Server) with ESMTP id E3CAF1C00246; Tue, 20 Dec 2005 08:46:08 +0100 (CET) X-ME-UUID: 20051220074608933.E3CAF1C00246@mwinf0208.wanadoo.fr Mime-Version: 1.0 (Apple Message framework v746.2) Content-Transfer-Encoding: quoted-printable Message-Id: <5B694395-8A73-48B6-A9C9-30A415C009C1@lip6.fr> Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed To: caml-list@inria.fr, coq-list@inria.fr, FOcal FOcal , alp-diffusion@univ-lille1.fr From: Therese Hardin Subject: =?ISO-8859-1?Q?JFLA06_:_Appel_=E0_partipation?= Date: Tue, 20 Dec 2005 08:46:03 +0100 X-Mailer: Apple Mail (2.746.2) X-Miltered: at concorde with ID 43A7B6C2.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43A7B6C1.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; therese:01 therese:01 jfla:01 jfla:01 debutants:01 coq:01 coq:01 langages:03 loria:04 inria:05 enthousiasme:05 comite:06 comite:06 lip:06 d'avance:08 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Bonjour, Le comit=E9 de programme des JFLA06 a le plaisir de vous adresser =20 l'appel =E0 participation. Innovations 2006: le programme comprend des =20= cours permettant aux d=E9butants de s'initier =E0 Coq et Focal et aux =20= plus chevronn=E9s de partager leurs connaissances et leur =20 enthousiasme. Venez go=FBter au "Coq au Pauillac et aux Om=E9gas en =20 Focalisant avec Zenon". Pour tous d=E9tails, voir l'appel =E0 = participation: http://jfla.inria.fr/2006/index.html Une session de d=E9monstrations d'outils a =E9galement =E9t=E9 pr=E9vue. = Pouvez-=20 vous envoyer vos propositions de d=E9monstration =E0 jfla2006@loria.fr. =20= Merci d'avance. Merci d 'avance de l'int=E9r=EAt que vous porterez =E0 ces Journ=E9es =20= Fran=E7aises des Langages Applicatifs, qui souhaitent s'ouvrir =E0 = toutes =20 les approches de sp=E9cification et de programmation rejoignant notre =20= souci de d=E9veloppement de logiciels plus s=FBrs. Tr=E8s cordialement Th=E9r=E8se Hardin, Pr=E9sidente du Comit=E9 de programme