Actes des JFLA'99

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

• 8h30 Accueil - Présentation
  Garde, sommaire, Avant-propos
• 9h00 - 10h00 Conférence invitée
  Paul Caspi (VERIMAG), Lucid Synchrone
• 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
• 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
• 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
• 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
• 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