From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p05M98X5031427; Wed, 5 Jan 2011 23:09:09 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As4EAM16JE2Brw8EgWdsb2JhbACkHRUBARYiJL8dhUwE X-IronPort-AV: E=Sophos;i="4.60,279,1291590000"; d="scan'208";a="84347288" Received: from ext.lri.fr ([129.175.15.4]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 05 Jan 2011 23:09:08 +0100 Received: from localhost (localhost [127.0.0.1]) by ext.lri.fr (Postfix) with ESMTP id DB71A40372; Wed, 5 Jan 2011 23:09:06 +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 bYoVeLer+AD6; Wed, 5 Jan 2011 23:09:06 +0100 (CET) Received: from macbook-air-de-conchon.local (log78-1-82-242-45-34.fbx.proxad.net [82.242.45.34]) (using TLSv1 with cipher AES256-SHA (256/256 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id 7E4A6401F6; Wed, 5 Jan 2011 23:09:06 +0100 (CET) Message-ID: <4D24EC03.105@lri.fr> Date: Wed, 05 Jan 2011 23:09:07 +0100 From: conchon User-Agent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; fr; rv:1.9.2.13) Gecko/20101207 Thunderbird/3.1.7 MIME-Version: 1.0 To: caml-list@inria.fr, gdr-im@gdr-im.fr, gdr.gpl@imag.fr, coq-club@inria.fr, coq-club@lists.gforge.inria.fr X-Enigmail-Version: 1.1.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Subject: [Caml-list] JFLA 2011 : Dernier appel =?ISO-8859-1?Q?=E0?= participation 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 Vous trouverez sur le site des journées (http://jfla.inria.fr/2011/) tous les renseignements nécessaires pour vous inscrire. ************************************************************************************************ Nous attirons votre attention sur l'évènement GGJJ 2011 (colloque anniversaire en l'honneur de Gérard Berry et Jean-Jacques Lévy) qui se tiendra juste après les JFLA à Gérardmer (situé à une quinzaine de kilomètres de La Bresse). Un transfert par bus est prévu le 1er février après-midi entre les deux sites. Détails sur http://www.lri.fr/~conchon/gerardmer/ ************************************************************************************************ À 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. De l'universalité à l'interopérabilité * 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