Table des matières

• Table des matières
• Composition de l'équipe
• Présentation du projet
• Actions de recherche
  • Programmation distribuée d'ordre supérieur
  • Un nouveau modèle de la concurrence
  • Récupération concurrente de mémoire et preuves mécaniques
  • Langages de programmation fonctionnels
  • Substitutions explicites
  • Systèmes de réductions abstraites
  • Maintenance des systèmes d'exploitation
• Actions internationales
  • Projet Esprit CONFER
  • ACSC 95
• Actions nationales
• Diffusion des résultats
  • Diffusion de produits
  • Actions d'enseignement
    • Enseignement universitaire
    • Autres actions d'enseignement
    • Jurys de thèse
  • Participation aux manifestations
  • Activités extérieures
• Références
• Abstract