JFLA 2008

26 au 29 janvier 2008 Étretat

Site de la
manifestation

Programme JFLA 2008

Arrivée: 26 janvier 2008

Premier jour: 26 janvier 2008

15h - 15h30 Accueil - Présentation
15h30 - 17h Cours Coq par Yves Bertot: Sémantiques en Coq
17h - 17h30 Pause-café
17h30 - 19h Cours Focal par Renaud Rioboo: Concevoir et organiser une librairie de mathématiques effectives
19h00 Dîner

Deuxième jour: 27 janvier 2008

9h - 10h30 Cours Coq par Yves Bertot: Sémantiques en Coq
10h30 - 11h Pause-café
11h30 - 12h30 Cours Focal par Renaud Rioboo: Concevoir et organiser une librairie de mathématiques effectives
12h30 - 14h Déjeuner
14h00 - 18h Excursion: une balade à pied ou en vélo
18h00 - 19h Discussion sur les JFLA'2007
19h00 Dîner

Troisième jour: 28 janvier 2008

9h00 - 10h00 Conférence invitée
Les types à relations.
PR. Pierre Weis (INRIA).
10h - 10h30 Pause-café
10h30 - 11h Formalisation des mathématiques: une preuve du théorème de Cayley-Hamilton.
Sidi Ould Biha.
11h - 11h30 A formal verification for Kantorovitch's theorem.
Ioana Pasca.
11h30 - 12h00 Vérification formelle d'un algorithme d'allocation de registres par coloration de graphes.
Sandrine Blazy, Benoît Robillard et Éric Soutif.
12h00 - 14h Déjeuner
14h00 - 14h30 De la webradio lambda à la lambda-webradio.
David Baelde et Samuel Mimram.
14h30 - 15h Le caractère ' à la rescousse.
Boris Yakobowski.
15h00 - 15h30 Types simples, logique et coercions implicites.
Cody Roux.
15h30 - 16h Pause café
16h - 16h30 SAT-Micro : petit mais costaud !.
Sylvain Conchon, Johannes Kanig et Stéphane Lescuyer.
16h30 - 17h Vérification formelle du tri par tas - Étude opérationnelle.
Pascal Manoury.
17h - 17h30 Métaprogrammation fonctionnelle appliquée à la génération d'un DSL dédié à la programmation parallèle.
Jocelyn Sérot et Joël Falcou.
17h30 - 18h30 Démonstrations
19h00 Dîner

Quatrième: 29 janvier 2008

9h00 - 10h00 Conférence invitée
Implémentations sûres de sessions typées.
PR. Cédric Fournet (Microsoft Research).
10h - 10h30 Pause-café
10h30 - 11h00 Une axiomatique de la géométrie plane en Coq.
Jean Duprat.
11h00 - 11h30 Gagner en passant à la corde.
Jean-Christophe Filliâtre.
11h30 - 12h00 Bilan et clôture des Journées
12h00 - 13h30 Déjeuner

Pour tout renseignement, contacter

Gaëlle Dorkeld
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2008)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Gaelle.Dorkeld@inria.fr
http://jfla.inria.fr/2008/

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