Eric Bodden (TU Darmstadt and EC SPRIDE, Germany).
Olivier Coutelou (Schneider Electric, France).
Radu Grosu (Technical Univesity Wien, Austria).
Klaus Havelund (NASA JPL, USA).
Kim G. Larsen (Aalborg University, Denmark).
Martin Leucker (University of Lόbeck, Germany).
Roberto Passerone (Universita' degli Studi di Trento, Italy).
Grigore Rosu (University of Illinois at Urbana Champaign, USA).
Mohamad Sawan (Ecole Polytechnique de Montrιal, Canada).
Bernhard Steffen (Technical University Dortmund, Germany).
Andreas Zeller (Saarland University, Germany).
Saddek Bensalem - University of Grenoble, France.
Yliθs Falcone - University of Grenoble, France.
Klaus Havelund - NASA JPL, USA.
Registration fee is 250 for students, 400 for non-students, which includes lunches and coffee breaks from Monday 8th through Thursday 11th, and a party. The registration fee only partially covers the costs incurred. The remaining costs are covered by PERSYVAL-Lab. The local organization committee has arranged university accommodations for students. Please refer to the Website for more details.