Programme des JFLA'99

1-2 février 1999 Morzine-Avoriaz (France)

• 1 février 1999
  • 8h30 Accueil - Présentation
  • 9h00 - 10h00 Conférence invitée
    Paul Caspi (VERIMAG), Lucid Synchrone
  • 10h00 Pause-café
  • 10h30 - 11h00 Hevea, un traducteur de Latex vers HTML en Caml
    Luc Maranget, INRIA Rocquencourt
  • 11h00 - 11h30 Compilation de la sémantique naturelle vers ML
    Catherine Dubois et Richard Gayraud, LaMI, Université d'Évry Val d'Essone
  • 11h30 - 12h00 Typage des Coroutines en Logique Soustractive
    Tristan Crolard, Université de Paris 7
  • 12h00 Déjeuner
  • Excursion
  • 17h00 - 17h30 Extension du BSlambda-calcul
    Frédéric Loulergue, Laboratoire d'Informatique Fondamentale d'Orléans
  • 17h30 - 18h00 Mobile computation and hostile hosts
    Jan Vitek et Giuseppe Castagna, Centre Universitaire d'Informatique, Université de Genève et Laboratoire d'Informatique de l'École Normale Supérieure Paris.
  • 18h00 - 18h30 Un simulateur synchrone pour Lucid Synchrone
    Grégoire Hamon et Marc Pouzet, Laboratoire d'Informatique de Paris 6
• 2 février 1999
  • 9h00 - 10h00 Conférence invitée
    Jean-Marc Geib (Laboratoire d'Informatique Fondamentale de l'Université de Lille), Corba, mécanismes dynamiques, langage de scripts pour objets distribués
  • 10h00 Pause-café
  • 10h30 - 11h00 Modules, Objets et Calcul Formel
    Sylvain Boulmé, Thérèse Hardin et Renaud Rioboo, Laboratoire d'Informatique de Paris 6
  • 11h00 - 11h30 Objets Concurrents dans un pi-calcul applicatif
    S. Dal-Zilio, INRIA Sophia-Antipolis
  • 11h30 - 12h00 Calcul distribué de champs de données
    Jean-Louis Giavitto et Olivier Michel, CNRS-LRI Université de Paris-Sud et LaMI, Université d'Évry Val d'Essone
  • 12h00 Déjeuner
  • 14h00 - 14h30 Intégration des typages fonctionnel et concurrent d'un langage fonctionnel d'acteurs
    Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé, LIMA, IRIT et INPT
  • 14h30 - 15h00 Gestion mémoire multi-stratégie pour une plate-forme multi-languages
    A. Lux et B. Zoppis, Laboratoire GRAVIR-IMAG, INRIA Rhônes-Alpes
  • 15h00 - 15h30 Aspects de la programmation d'applications Win32 avec un langage fonctionnel
    Riccardo Pucella, Erik Meijer et Dino Oliva, Bell Laboratories Lucent Technology et Department of Computer Science Université d'Utrecht
  • 16h00 Fin des Journées