Verification People
David Basin, Max-Planck-Institut, Saarbruecken,Germany
Ed Brinksma, University of Twente, Enschede, The Netherlands
Rance Cleaveland, North Carolina State University, Durham, USA
Susanne Graf, VERIMAG, Grenoble, France
Kim G. Larsen, Aalborg University Center, Aalborg, Denmark
Eric Madelaine, INRIA, Sophia Antipolis, France
Alan Mycroft, Computer Laboratory, Cambridge, United Kingdom
Scott Smolka, State University New York at Stony Brook, USA
Bernhard SteffenUniversity of Passau, Passau, Germany, (Chair)
Wolfgang Thomas, Christian-Albrechts-Unversitaet Kiel, Germany
Frits Vaandrager, Centrum for Wiskunde en Informatica, Amsterdam, The Netherlands
Gerard Holzmann - AT&T (USA)
Dexter Kozen - Cornell University (USA)
Leslie Lamport - DEC Research Center (USA)
E. Madelaine
------------------------------------------------------------
Eric Madelaine tel: (+33) 93657807
INRIA Sophia-Antipolis secr:(+33) 93657825
Route des lucioles fax: (+33) 93657766
BP 93
06902 SOPHIA-ANTIPOLIS CEDEX
FRANCE email: Eric.Madelaine@sophia.inria.fr
------------------------------------------------------------