From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 36EE2BC57 for ; Wed, 15 Dec 2010 17:44:51 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag0FAKd+CE2Brw8EgWdsb2JhbACVfo4tFQEBFiIkw0OFSgSOEQ X-IronPort-AV: E=Sophos;i="4.59,349,1288566000"; d="scan'208";a="83989624" Received: from ext.lri.fr ([129.175.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 15 Dec 2010 17:44:50 +0100 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id E53AE3F640 for ; Wed, 15 Dec 2010 17:44:50 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from ext.lri.fr ([127.0.0.1]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id LLDhQA8v+9hi for ; Wed, 15 Dec 2010 17:44:50 +0100 (CET) Received: from [129.175.4.101] (lri4-101 [129.175.4.101]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id C8D833FCDD for ; Wed, 15 Dec 2010 17:44:50 +0100 (CET) Message-ID: <4D08F082.80203@lri.fr> Date: Wed, 15 Dec 2010 17:44:50 +0100 From: Sylvain Conchon User-Agent: Thunderbird 2.0.0.24 (X11/20101027) MIME-Version: 1.0 To: caml-list@inria.fr Subject: JFLA 2011 : appel =?ISO-8859-1?Q?=E0_participation?= X-Enigmail-Version: 0.96.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Spam: no; 0.00; lri:01 jfla:01 jfla:01 l'inria:01 maranget:01 jocaml:01 tutoriel:01 coq:01 maranget:01 jocaml:01 tutoriel:01 coq:01 dejeuner:01 typage:01 periodiques:01 Appel à participation JFLA'2011 (http://jfla.inria.fr/2011/) Journées Francophones des Langages Applicatifs Organisées par l'INRIA 29 janvier au 1 février 2011, La Bresse Le programme des 22èmes JFLA est maintenant établi. Vous trouverez *très prochainement* auprès du site des journées http://jfla.inria.fr/2011/ tous les renseignements nécessaires à votre inscription. À bientôt à La Bresse, Sylvain Conchon et Assia Mahboubi Pour tout renseignement, contacter symposia@inria.fr *Programme JFLA 2011* --------------------- Samedi 29 janvier 2011 * 16h00 - 16h30 Pot de bienvenue * 16h30 - 17h30 Cours de Luc Maranget. Programmer en Jocaml * 17h30 - 17h45 Pause * 17h45 - 18h45 Cours d'Yves Bertot. Un tutoriel sur la coinduction en Coq: faire preuve de paresse à l'infini * 19h00 Dîner Dimanche 30 janvier 2011 * 09h00 - 10h30 Cours de Luc Maranget. Programmer en Jocaml * 10h30 - 11h00 Pause * 11h00 - 12h30 Cours d'Yves Bertot. Un tutoriel sur la coinduction en Coq: faire preuve de paresse à l'infini * 12h30 - 14h00 Déjeuner * 14h00 - 18h00 Excursion * 19h00 Dîner Lundi 31 janvier 2011 * 09h00 - 10h00 Exposé invité : François Pottier. Vérification de la complexité à l'aide des types * 10h00 - 10h30 Pause * 10h30 - 12h00 o Louis Mandel et Florence Plateau. Typage des horloges périodiques en Lucy-n o Frédéric Gava et Sovanna Tan. Implémentation et prédiction des performances de squelettes data-parallèles en utilisant un langage BSP de haut niveau o Jean-Christophe Filliâtre et Kalyan Krishnamani Functory : Une bibliothèque de calcul distribué pour Objective Caml * 12h00 - 14h00 Déjeuner * 14h00 - 15h30 o Thomas Braibant. De coquets circuits o Wadoud Bousdira, Frederic Loulergue et Louis Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML o Romain Bardou et Claude Marché. Perle de preuve: les tableaux creux * 15h30 - 16h00 Pause * 16h00 - 17h00 o Benoit Vaugon, Philippe Wang and Emmanuel Chailloux. Les microcontrôleurs PIC programmés en Objective Caml o Julien Signoles. Une bibliothèque de typage dynamique en OCaml * 17h00 - 18h30 Démonstrations * 19h00 Dîner Mardi 01 février 2011 * 09h00 - 10h00 Exposé invité : Gilles Dowek. Titre à annoncer * 10h00 - 10h30 Pause * 10h30 - 11h30 o Pierre-Loic Garoche et Pierre Roux. Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT o Fabrice Le Fessant. Transformation de fonctions récursives en boucles dans ocamlpro * 11h30 - 12h00 Bilan des journées * 12h00 - 14h00 Déjeuner