Version française
Home     About     Download     Resources     Contact us    
Browse thread
JFLA 2011 : appel à_participation
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sylvain Conchon <sylvain.conchon@l...>
Subject: JFLA 2011 : appel à_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


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