From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 70DE7BBAF for ; Thu, 24 Dec 2009 12:43:27 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUCAFbiMkvC/qMYmWdsb2JhbACDbZdrAQEBCAsKBxOpGI8wg11WBIFl X-IronPort-AV: E=Sophos;i="4.47,448,1257116400"; d="scan'208";a="52742571" Received: from mail.lipn.univ-paris13.fr ([194.254.163.24]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Dec 2009 12:43:27 +0100 Received: from onyx.lipn.univ-paris13.fr (onyx.lipn.univ-paris13.fr [10.10.0.157]) by mail.lipn.univ-paris13.fr (sendmail 8.9.3/8.9.2) with ESMTP id 7206A22E15 for ; Thu, 24 Dec 2009 12:43:26 +0100 (CET) Received: by onyx.lipn.univ-paris13.fr (Postfix, from userid 3053) id 6CE39183605; Thu, 24 Dec 2009 12:43:26 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by onyx.lipn.univ-paris13.fr (Postfix) with ESMTP id 6BC81183467 for ; Thu, 24 Dec 2009 12:43:26 +0100 (CET) Date: Thu, 24 Dec 2009 12:43:26 +0100 (CET) From: Micaela Mayero To: caml-list@yquem.inria.fr Subject: =?ISO-8859-15?Q?JFLA_2010=3A_appel_=E0_participation?= Message-ID: User-Agent: Alpine 1.10 (DEB 962 2008-03-14) MIME-Version: 1.0 Content-Type: MULTIPART/Mixed; boundary="168467712-1537077588-1261437261=:21753" Content-ID: X-Spam: no; 0.00; jfla:01 unreadable:01 mime-aware:01 jfla:01 l'inria:01 caf:01 letouzey:01 coq:01 caf:01 letouzey:01 coq:01 prouveur:01 cuoq:01 type-safe:01 zacchiroli:01 X-Attachments: cset="utf-8" This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --168467712-1537077588-1261437261=:21753 Content-Type: TEXT/PLAIN; charset=utf-8; format=flowed Content-Transfer-Encoding: 8BIT Content-ID: Appel a participation JFLA'2010 (http://jfla.inria.fr/2010/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 30 janvier au 2 février 2010 Le programme des 21èmes JFLA est maintenant établi; vous trouverez auprès du site des journées http://jfla.inria.fr/2010/ tout renseignement nécessaire à votre inscription. Micaela Mayero *Programme JFLA 2010* Premier jour: 30 janvier 2010 - 12h30 - 14h00 Cocktail de bienvenue puis déjeuner - 15h00 - 15h30 Accueil - Présentation - 15h30 - 17h00 Cours par Louis Mandel: Reactive ML - 17h00 - 17h30 Pause café - 17h30 - 19h00 Cours par Pierre Letouzey: De Coq à ML : l'extraction de programmes - 19h00 Dîner Deuxième jour: 31 janvier 2010 - 09h00 - 10h30 Cours par Louis Mandel: Reactive ML - 10h30 - 11h00 Pause café - 11h00 - 12h30 Cours par Pierre Letouzey: De Coq à ML : l'extraction de programmes - 12h30 - 14h00 Déjeuner - 14h00 - 18h00 Excursion: ballade dans les calanques - 19h00 Dîner Troisième jour: 1 février 2010 - 09h00 - 10h00 Conférence invitée : Preuves et prouveur TLA+ Leslie Lamport (Microsoft Research) - 10h00 - 10h30 Pause café - 10h30 - 11h00 Une table d'association d'intervalles fusionnable R. Bonichon et P. Cuoq (CEA LIST) - 11h00 - 11h30 Enforcing type-safe linking using inter-package relationships M. Dogguy, S. Glondu, S. Le Gall, S. Zacchiroli (PPS/P7, OCamlCore SARL) - 11h30 - 12h00 Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize D. Delahaye, C. Dubois et P.-N. Tollitte (CEDRIC/CNAM,ENSIIE) - 12h00 - 14h00 Déjeuner - 14h00 - 14h30 Tâches, types et tactiques pour les sytèmes de calculs locaux P. Casteran et V. Filou (LabRI) - 14h30 - 15h00 Les types quotients en Coq C. Cohen (LIX) - 15h00 - 15h30 Conteneurs de première classe en Coq S. Lescuyer (INRIA Saclay) - 15h30 - 16h00 Pause café - 16h00 - 16h30 Macaque: interrogation sûre et flexible de base de données depuis Ocaml G. Scherer et J. Vouillon (ENS-Lyon, CNRS-P7) - 16h30 - 17h00 Observation temps-réel de programmes Caml S. Conchon, J.-C. Filliâtre, F. Le Fessant, J. Robert et G. Von Tokarski (LRI, CNRS, INRIA Saclay) - 17h00 - 17h30 De l'interprétation algorithmique du blason P. Manoury (PPS-UPMC) - 17h30 - 18h30 Démonstrations - 19h00 Dîner Quatrième jour: 2 février 2010 - 09h00 - 10h00 Conférence invitée De la correction automatisée Christian Queinnec (Université Paris 6) - 10h00 - 10h30 Pause café - 10h30 - 11h00 Principes et pratiques de la programmation concurrente en pi-calcul F. Peschanski (LIP6/P6) - 11h00 - 11h30 Lucy-N: une extension n-synchrone de LUSTRE L. Mandel, F. Plateau et M. Pouzet (LRI/P11) - 11h30 - 12h00 Bilan et clôture des journées - 12h00 - 13h30 Déjeuner Pour tout renseignement, contacter ---------------------------------- INRIA Grenoble Rhône-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/2010/ --168467712-1537077588-1261437261=:21753--