From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 14D8DBB9C for ; Fri, 6 Jan 2006 12:45:38 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k06Bja10012786 for ; Fri, 6 Jan 2006 12:45:37 +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 MAA04767 for ; Fri, 6 Jan 2006 12:45:36 +0100 (MET) Received: from smtp12.wanadoo.fr (smtp12.wanadoo.fr [193.252.22.20]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k06BjZg7012774 for ; Fri, 6 Jan 2006 12:45:35 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf1209.wanadoo.fr (SMTP Server) with ESMTP id 79F571C00071 for ; Fri, 6 Jan 2006 12:45:35 +0100 (CET) Received: from [192.168.1.17] (AMontsouris-151-1-67-213.w82-123.abo.wanadoo.fr [82.123.4.213]) by mwinf1209.wanadoo.fr (SMTP Server) with ESMTP id D9E901C00054; Fri, 6 Jan 2006 12:45:34 +0100 (CET) X-ME-UUID: 20060106114534892.D9E901C00054@mwinf1209.wanadoo.fr Mime-Version: 1.0 (Apple Message framework v746.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: <7D28742B-06F5-44E4-9B1A-B17A4E6D72BE@wanadoo.fr> Cc: alp-diffusion@univ-lille1.fr, choukri.ben-yelles@iut-valence.fr, Mark van den Brand Content-Transfer-Encoding: quoted-printable From: "T.Hardin" Subject: Participation JFLA Date: Fri, 6 Jan 2006 12:45:29 +0100 To: caml-list@inria.fr, coq-club@pauillac.inria.fr, modulogic@modulogic.inria.fr X-Mailer: Apple Mail (2.746.2) X-Miltered: at nez-perce with ID 43BE5860.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 43BE585F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; therese:01 jfla:01 jfla:01 coq:01 delahaye:01 aurons:01 invitees:01 reecriture:01 enseigner:01 ocaml:01 aurons:01 therese:01 destines:98 iut:98 iut:98 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, Voici l'appel =E0 participation aux JFLA 2006: http://jfla.inria.fr/=20 2006/index.html Innovations 2006 : "COQ au Pauillac et aux Om=E9gas" avec Pierre =20 Casteran, "FOCALiser sous les auspices de Zenon" avec D. Delahaye et =20= C. Morisset, des cours-pr=E9sentations destin=E9s =E0 ceux qui n'ont = jamais =20 manipul=E9 ces langages ainsi qu'aux utilisateurs chevronn=E9s. Nous =20 aurons =E9galement deux conf=E9rences invit=E9es, l'une par Mark van = den =20 Brand (CWI Amsterdam) sur "Les applications de la r=E9=E9criture avec = ASF=20 +SDF", l'autre par Choukri Ben-Yell=E8s (IUT Valence) sur "Enseigner =20 Ocaml en IUT : pourquoi, comment?". 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. La communaut=E9 des JFLA souhaite s'ouvrir =E0 toutes les approches de =20= sp=E9cification et de programmation rejoignant son souci de =20 d=E9veloppement de logiciels plus s=FBrs. C'est pourquoi nous aurons =20 =E9galement une pr=E9sentation de l'activit=E9 de la communaut=E9 AFADL. En esp=E9rant partager avec vous toute la richesse scientifique des =20 JFLA'06 ainsi que toutes les sp=E9cialit=E9s de la ville de Pauillac =20 (elles "m=E9ritent le d=E9tour"), dans l'ambiance traditionnellement =20 conviviale de ces Journ=E9es. Tr=E8s cordialement Th=E9r=E8se Hardin, Pr=E9sidente du Comit=E9 de programme