From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 70A79BBAF for ; Tue, 16 Dec 2008 11:09:24 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,230,1228086000"; d="sig'?scan'208";a="20437693" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 16 Dec 2008 11:09:24 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBGA9N0a026680 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 16 Dec 2008 11:09:24 +0100 X-IronPort-AV: E=Sophos;i="4.36,230,1228086000"; d="sig'?scan'208";a="18516710" Received: from charm.inrialpes.fr ([194.199.25.104]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 16 Dec 2008 11:09:23 +0100 Message-Id: From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-12--140625395" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: =?ISO-8859-1?Q?JFLA_2009:_appel_=E0_participation?= Date: Tue, 16 Dec 2008 11:09:21 +0100 X-Pgp-Agent: GPGMail d55 (v55, Leopard) X-Mailer: Apple Mail (2.930.3) X-Miltered: at concorde with ID 49477E53.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 jfla:01 jfla:01 l'inria:01 huet:01 huet:01 dejeuner:01 invitee:01 typee:01 didier:01 parigot:01 signoles:01 dejeuner:01 specifies:01 X-Attachments: type="application/pgp-signature" name="PGP.sig" name="PGP.sig" This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --Apple-Mail-12--140625395 Content-Type: text/plain; charset=WINDOWS-1252; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable Appel a participation JFLA'2009 (http://jfla.inria.fr/) Journ=E9es Francophones des Langages Applicatifs Organis=E9es par l'INRIA 31 janvier au 3 f=E9vrier 2009 Le programme des 20=E8mes JFLA est maintenant =E9tabli; vous trouverez =20= aupr=E8s du site des journ=E9es http://jfla.inria.fr/2009/ tout =20 renseignement n=E9cessaire =E0 votre inscription. Alan Schmitt 31 janvier 2009 =95 15h - 15h30 Accueil - Pr=E9sentation =95 15h30 - 17h Cours par G=E9rard Huet: Automates, = transducteurs et =20 machines d'Eilenberg applicatives dans la bo=EEte =E0 outils Zen. =20 Applications au traitement de la langue. =95 17h - 17h30 Pause-caf=E9 =95 17h30 - 19h Cours par Assia Mahboubi: Pr=E9sentation de = SSReflect =95 19h00 D=EEner 1er f=E9vrier 2009 =95 9h - 10h30 Cours par G=E9rard Huet: Automates, transducteurs = et =20 machines d'Eilenberg applicatives dans la bo=EEte =E0 outils Zen. =20 Applications au traitement de la langue. =95 10h30 - 11h Pause-caf=E9 =95 11h30 - 12h30 Cours par Assia Mahboubi: Pr=E9sentation de = SSReflect =95 12h30 - 14h D=E9jeuner =95 14h00 - 18h Excursion: une balade =E0 pied =95 19h00 D=EEner 2 f=E9vrier 2009 =95 9h00 - 10h00 Conf=E9rence invit=E9e Ocsigen : approche fonctionnelle typ=E9e de la programmation = Web. Vincent Balat (Universit=E9 Paris 7). =95 10h - 10h30 Pause-caf=E9 =95 10h30 - 11h Qui s=E8me la fonction, r=E9colte le tuyau typ=E9.= Didier Parigot et Bernard Paul Serpette. =95 11h - 11h30 Foncteurs imp=E9ratifs et compos=E9s: la notion = de projets =20 dans Frama-C. Julien Signoles. =95 11h30 - 12h00 Vers une programmation fonctionnelle en appel = par =20 valeur sur syst=E8mes multi-coeurs : =E9valuation asynchrone et ramasse-=20= miettes parall=E8le. Luca Saiu. =95 12h00 - 14h D=E9jeuner =95 14h00 - 14h30 V=E9rification d'invariants pour des syst=E8mes = sp=E9cifi=E9s =20 en logique de r=E9=E9criture. Vlad Rusu et Manuel Clavel . =95 14h30 - 15h Un mod=E8le de l'assistant =E0 la preuve: PAF!. S=E9verine Maingaud. =95 15h00 - 15h30 Extraction certifi=E9e dans Coq-en-Coq. St=E9phane Glondu. =95 15h30 - 16h Pause caf=E9 =95 16h - 16h30 Abstraction d'horloges dans les syst=E8mes = synchrones =20 flot de donn=E9es. Louis Mandel et Florence Plateau. =95 16h30 - 17h30 Vingt ann=E9es de JFLA. Pierre Weis. =95 17h30 - 18h30 D=E9monstrations =95 19h00 D=EEner 3 f=E9vrier 2009 =95 9h00 - 10h00 Conf=E9rence invit=E9e Mod=E9lisation en Coq de l'=E9tat d'une JavaCard. Bruno Barras (Trusted Labs). =95 10h - 10h30 Pause-caf=E9 =95 10h30 - 11h00 Fouille au code OCaml par analyse de = d=E9pendances. Maxence Guesdon. =95 11h00 - 11h30 Faire bonne figure avec Mlpost. R. Bardou, J. Kanig, J.-C. Filli=E2tre et S. Lescuyer. =95 11h30 - 12h00 Bilan et cl=F4ture des Journ=E9es =95 12h00 - 13h30 D=E9jeuner Pour tout renseignement, contacter ---------------------------------- INRIA Grenoble Rh=F4ne-Alpes Bureau des Cours-Colloques 655 avenue de l'Europe - Montbonnot 38334 Saint Ismier Cedex - France Tel : + 33 (0)4 76 61 52 23 - Fax : + 33 (0)4 76 61 52 06 email : colloques@inrialpes.fr http://jfla.inria.fr/2009/ --Apple-Mail-12--140625395 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.8 (Darwin) iEYEARECAAYFAklHflEACgkQNIAqM4hFUWhtEACdEWuKtYKgtgK0uyMzs3J0FJbl 49wAnRrYBiX7Pc9MuXfO3gJvb2OK25ro =0+2x -----END PGP SIGNATURE----- --Apple-Mail-12--140625395--