We wish to thank the following institution and companies for their contribution to the success of this conference:

European Office of Aerospace Research and Development (EOARD), Air Force Office of Scientific Research, United States Air Force Research Laboratory	Polyspace Technologies
Trusted Logic	Esterel Technologies
Sun Microsystems	Laboratoire VERIMAG
Institut National de Recherche en Informatique et Automatique (INRIA)	Institut National Polytechnique de Grenoble (INPG)
Université Joseph Fourier (UJF)	Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG)
Ville de Grenoble	Centre National de la Recherche Scientifique (CNRS)
Région Rhône-Alpes