Programme des 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

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

09h00 - 10h00 Exposé invité : François Pottier. Vérification de la complexité à l'aide des types
10h00 - 10h30 Pause
10h30 - 12h00
- Louis Mandel et Florence Plateau.
  Typage des horloges périodiques en Lucy-n
- 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
- Jean-Christophe Filliâtre et Kalyan Krishnamani
  Functory : Une bibliothèque de calcul distribué pour Objective Caml
12h00 - 14h00 Déjeuner
14h00 - 15h30
- Thomas Braibant. De coquets circuits
- Wadoud Bousdira, Frederic Loulergue et Louis Gesbert. Syntaxe et sémantique de Revised Bulk Synchronous Parallel ML
- Romain Bardou et Claude Marché. Perle de preuve: les tableaux creux
15h30 - 16h00 Pause
16h00 - 17h00
- Benoit Vaugon, Philippe Wang and Emmanuel Chailloux. Les microcontrôleurs PIC programmés en Objective Caml
- Julien Signoles. Une bibliothèque de typage dynamique en OCaml
17h00 - 18h30 Démonstrations

09h00 - 10h00 Exposé invité : Gilles Dowek. De l'universalité à l'interopérabilité
10h00 - 10h30 Pause
10h30 - 11h30
- Pierre-Loic Garoche et Pierre Roux. Dessine moi un domaine abstrait fini -- une recette à base de Camlp4 et de solveurs SMT
- Fabrice Le Fessant. Transformation de fonctions récursives en boucles dans ocamlpro
11h30 - 12h00 Bilan des journées
12h00 - 14h00 Déjeuner