Programme des JFLA'2002

Dimanche 27 janvier 2002

9h Accueil - Présentation
9h30 - 10h30 Conférence invitée
Des descriptions fonctionnelles aux implémentations impératives des programmes.
Yves Bertot (Lemme, Inria Sophia Antipolis)
10h30 - 11h Pause-café
11h00 - 11h30 La supériorité de l'ordre supérieur
Jean-Christophe Filliâtre (LRI, Paris Sud)
11h30 - 12h00 Fonctions récursives générales par itération en théorie des types
Antonia Balaa et Yves Bertot (Lemme, Inria Sophia Antipolis)
12h00 - 16h30 Déjeuner et excursion
16h 30 - 17h00 Pause café
17h00 - 17h30 Typage du bytecode CAML
Sébastien Ailleret (Moscova, Inria Rocquencourt)
17h30 - 18h00 Cast objet pour la construction de hiérarchies de classes en Objective Caml
Emmanuel Chailloux (PPS, Paris 6)
18h00 - 18h30 Démonstrations

9h00 - 10h00 Conférence invitée Produire un logiciel de confiance : quelles hypothèses, quelles limites?
Thérèse Hardin(LIP6)
10h00- 10h30 Pause-café
10h30 - 11h00 Vers un système de modules à la Harper-Lillibridge-Leroy pour les spécifications formelles B
Dorian Petit (INRETS), Georges Mariano(INRETS) et Vincent Poirriez(Université de Valenciennes)
11h00 - 11h30 Elimination des quantificateurs sur les réels en Coq
Assia Mahboubi et Loïc Pottier (Lemme, Inria Sophia Antipolis)
11h30 - 12h00 Solving stream equation systems
Bruno Barbier (LIFC)
12h00 - 13h30 Déjeuner
13h30 - 14h00 MGS : transformer des collections complexes pour la simulation en biologie
Olivier Michel, Jean-Louis Giavitto et Julien Cohen (LAMI)
14h - 14h30 La machine abstraite catégorique BSP
Armelle Merlin et Gaétan Hains (LIFO, Université d'Orléans)
14h30 - 15h30 Démonstrations et Pause café
15h30 Fin des Journées