Programme des JFLA'2000
31 janvier - 1 février 2000 Mont Saint-Michel (France)
30 janvier 2000
- 18h00 - 20h00 Accueil
- 20h00 Dîner
31 janvier 2000
- 8h30 Accueil - Présentation
- 9h00 - 10h00 Conférence invitée
Génération automatique de séquences de tests
à partir de descriptions Lustre : GATeL
Bruno Marre, Agnès Arnould (Université de Paris-Sud,
CNRS-LRI et Université de Poitiers, SP2MI)
- 10h00 Pause-café
- 10h30 - 11h00 Traitement paresseux et optimisation des suites
numériques Jerzy Karczmarczuk (Université de Caen)
- 11h00 - 11h30 Opérateurs de raffinement sur les structures
algébriques Sylvain Boulmé (Université Paris 6, LIP6)
- 11h30 - 12h00 Affichage générique d'arbres à
l'aide de la géométrie hyperboliqueAlexandre Miquel (INRIA Rocquencourt)
- 12h00 Déjeuner
- 14h00 - 14h30 Modélisation et vérification de systèmes
intégrés asynchrones dans le langage synchrone Lustre : application
aux systèmes avioniques
Frédéric Boniol, Gérard Bel, Jack Foiseau (ONERA-CERT)
- 14h30 - 15h00 Safe value I/O in Caml
J. Furuse, P. Weis (INRIA Rocquencourt)
- 15h00 - 15h30 Un cadre pour la définition récursive
des structures de données
Jean-Louis Giavitto, Olivier Michel (Université de Paris-Sud,
CNRS-LRI et Université d'Evry LaMI)
- 15h30 Pause-café
- 16h00 - 16h30 Un compilateur CAML -> SYNDEX pour les
applications de traitement de signal temps-réel distribués
Jocelyn Serot (Université de Clermont, LASMEA)
- 16h30 - 17h30 Table ronde sur le thème "Enseignement de la programmation"
Animateur Pierre Weis (INRIA Rocquencourt)
- 17h30 - 18h30 démonstrations
1 février 2000
- 9h00 - 10h00 Conférence invitée
Coalgebraic Techniques for Reactive Functional Programming
Richard Kieburtz (Oregon Graduate Institute)
- 10h00 Pause-café
- 10h30 - 12h00 Excursion "Découverte de la baie"
- 12h00 Déjeuner
- 14h00 - 14h30 Méthodologie de développement d'un
outil d'évaluation de la sûreté du logiciel en OCaml
Philippe Ayrault, Thérèse Hardin, Maxence Guesdon (SURLOG et
Université Paris 6, LIP6)
- 14h30 - 15h00 Ingénierie de preuve Olivier Pons
(Institut d'Informatique d'Entreprise, Cedric)
- 15h00 - 15h30 Buildoo Marco Superina (Université de
Nice Sophia Antipolis)
- 16h00 Fin des Journées