Invited Speakers Rance Cleaveland - Univ. of Maryland, USA Bertrand Meyer - ETH Zürich, Switzerland CC: Don Batory - Univ. of Texas at Austin, USA ESOP: Andrew Pitts - Cambridge Univ., UK FASE: Jan Bosch - Nokia, Finland FOSSACS: Radha Jagadeesan - DePaul Univ., USA TACAS: K. Rustan M. Leino - Microsoft Research, USA