JFLA 2009

31 janvier au 3 février 2009 Saint-Quentin sur Isère, au pied du Vercors

Site de la
manifestation

Programme JFLA 2009

Arrivée: 31 janvier 2009

Premier jour: 31 janvier 2009

12h30 - 14h Cocktail de bienvenue puis déjeuner
15h - 15h30 Accueil - Présentation
15h30 - 17h Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue.
17h - 17h30 Pause-café
17h30 - 19h Cours par Assia Mahboubi: Présentation de SSReflect
19h00 Dîner

Deuxième jour: 1er février 2009

9h - 10h30 Cours par Gérard Huet: Automates, transducteurs et machines d'Eilenberg applicatives dans la boîte à outils Zen. Applications au traitement de la langue.
10h30 - 11h Pause-café
11h00 - 12h30 Cours par Assia Mahboubi: Présentation de SSReflect
12h30 - 14h Déjeuner
14h00 - 18h Excursion: une balade à pied
19h00 Dîner

Troisième jour: 2 février 2009

9h00 - 10h00 Conférence invitée
Ocsigen : approche fonctionnelle typée de la programmation Web.
Vincent Balat (Université Paris 7).
10h - 10h30 Pause-café
10h30 - 11h Qui sème la fonction, récolte le tuyau typé.
Didier Parigot et Bernard Paul Serpette.
11h - 11h30 Foncteurs impératifs et composés: la notion de projets dans Frama-C.
Julien Signoles.
11h30 - 12h00 Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs : évaluation asynchrone et ramasse-miettes parallèle.
Luca Saiu.
12h00 - 14h Déjeuner
14h00 - 14h30 Vérification d'invariants pour des systèmes spécifiés en logique de réécriture.
Vlad Rusu et Manuel Clavel .
14h30 - 15h Un modèle de l'assistant à la preuve: PAF!.
Séverine Maingaud.
15h00 - 15h30 Extraction certifiée dans Coq-en-Coq.
Stéphane Glondu.
15h30 - 16h Pause café
16h - 16h30 Abstraction d'horloges dans les systèmes synchrones flot de données.
Louis Mandel et Florence Plateau.
16h30 - 17h30 Vingt années de JFLA.
Pierre Weis.
17h30 - 18h30 Démonstrations
19h00 Dîner

Quatrième jour: 3 février 2009

9h00 - 10h00 Conférence invitée
Faut-il avoir peur de sa carte SIM ?
Bruno Barras (Trusted Labs).
10h - 10h30 Pause-café
10h30 - 11h00 Fouille au code OCaml par analyse de dépendances.
Maxence Guesdon.
11h00 - 11h30 Faire bonne figure avec Mlpost.
R. Bardou, J. Kanig, J.-C. Filliâtre et S. Lescuyer.
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/2009/

Pour toutes remarques d'ordre général ou technique concernant cette page, écrire à Pierre.Weis@inria.fr.