Programme des JFLA'2003

Dimanche 26 janvier 2003

9h Accueil - Présentation
9h00 - 10h00 Conférence invitée OCaml dans l'industrie financière: expérience industrielle d'une utilisation intensive et stratégique du langage OCaml dans un projet novateur.
Jean-Marc Eber, spécialiste de l'informatique financière.
10h - 10h30 Pause-café
10h30 - 11h Les avertissements du filtrage
Luc Maranget (INRIA Rocquencourt)
11h - 11h30 Calcul statique des applications de modules paramétrés
J. Signoles
11h30 - 12h00 Another Implementation Technique for Functional Programming Languages
R. Boulifa et M. Mezghiche
12h00 - 16h30 Déjeuner et excursion
16h 30 - 17h00 Pause café
17h00 - 17h30 Un système X Raisonner formellement sur les programmes ML
S. Baro et P. Manoury
17h30 - 18h00 Réutilisation de preuves formelles : Une étude pour le système FoC
C. Dubois, J. Grandguillot et M. Jaume
18h00 - 18h30 Filtrage et règles de réécriture sur des structures indexées par des groupes
J. Cohen, O. Michel et J.-L. Giavitto
18h30 - 19h00 Démonstrations

9h - 10h Conférence invitée
Du fonctionnel en prépa.
Alain Chillès, professeur de classes préparatoires à Lyon.
10h00- 10h30 Pause-café
10h30 - 11h00 A Parametrized Polyvariant Bytecode Verifier
L. Henrio et B. P. Serpette
11h00 - 11h30 Analyse de robustesse de systèmes avioniques
Y. Ait Ameur, F. Boniol, S. Pairault et V. Wiels
11h30 - 12h00 L'expérience SCOL, un langage pour des applications internet multi-utilisateurs
A.-G. Bosser et F. Alberti
12h00 - 13h30 Déjeuner
13h30 - 14h00 CamlG4 : une bibliothèque de calcul parallèle pour Objective Caml
J. Falcou et J. Sérot
14h - 14h30 Synthèse de types pour Bulk Synchronous Parallel ML
F. Gava et F. Loulergue
14h30 - 15h30 Démonstrations et Pause café
15h30 Fin des Journées