Laboratoires d'informatique
Laboratoires d'informatique
France
INRIA
Rocquencourt
,
Projet Moscova
ENS
Patrick Cousot
LIX
Radhia Cousot
LSV
(ENS Cachan)
Hubert Comon
Jean Goubault-Larrecq
IRISA, projet Lande
,
Daniel Le Metayer
,
Jean-Pierre Banâtre
DEA université Rennes I
ENS Lyon, Laboratoire d'Informatique du Parallélisme
VERIMAG
,
Nicolas Halbwachs
Université Joseph Fourier - Grenoble I
Prism
Universite de Versailles
PPS
Annuaire du CNRS
Etats-Unis
University of California Santa Cruz
Martín Abadi
Intertrust STAR Lab
Stanford University
Computer Science Departement
Monica Lam
University of Wisconsin Madison
Rutgers
Laboratory for Computer Science Research (LCSR)
Sun Labs
IBM T. J. Watson Research Center
Purdue University
Jan.Vitek
Allemagne
Universität Dortmund
Jens Knoop
Bernhard Steffen
Universität des Saarlandes
Reinhard Wilhelm
Max-Planck-Institut für Informatik
(Saarbrücken).
Programming Logics Group
Andreas Podelski
Universität Karlsruhe
Institute for Program Structures and Data Organization
Program Structures Group
Gerhard Goos
Universität Tübingen
Herbert Klaeren
Universität Stuttgart
Universität Frankfurt
Technische Universität München
Bruno Blanchet