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=1.7 required=5.0 tests=AWL,SPF_NEUTRAL, SUBJECT_ENCODED_TWICE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 8E672BB84 for ; Wed, 7 Jan 2009 13:54:27 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.37,226,1231110000"; d="sig'?scan'208";a="22107828" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 07 Jan 2009 13:54:27 +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 n07CsQX3023589 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 7 Jan 2009 13:54:27 +0100 X-IronPort-AV: E=Sophos;i="4.37,226,1231110000"; d="sig'?scan'208";a="19245437" Received: from charm.inrialpes.fr ([194.199.25.104]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 07 Jan 2009 13:54:21 +0100 Message-Id: <98667EBC-2199-4E0D-9E04-B5E165D01AB3@polytechnique.org> From: Alan Schmitt To: caml-list@inria.fr Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-115--377409177" Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v930.3) Subject: =?ISO-8859-1?Q?JFLA_2009:_cl=F4ture_des_inscriptions_le_14_janvi?= =?ISO-8859-1?Q?er?= Date: Wed, 7 Jan 2009 13:54:21 +0100 X-Pgp-Agent: GPGMail d55 (v55, Leopard) X-Mailer: Apple Mail (2.930.3) X-Miltered: at concorde with ID 4964A602.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-115--377409177 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. Attention: la date =20 limite pour les inscriptions est le 14 janvier. 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 Faut-il avoir peur de sa carte SIM ? 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-115--377409177 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) iEYEARECAAYFAklkpf0ACgkQNIAqM4hFUWg0CwCeKIDh/xqjlPgHBr3rd/LdtReA OVYAniSl8xVle2tLzjNkcxGtomJvlWUM =0Wx/ -----END PGP SIGNATURE----- --Apple-Mail-115--377409177--