SPIN 2004

11th International SPIN Workshop on Model Checking of Software

April 1-3, 2004, Barcelona, Spain

[SPIN 2004 Home Page] [Call for papers]
[History of SPIN Workshops] [The SPIN Tool Page] [SPIN Policies]

Advisory Committee: Gerard Holzmann (chair), Amir Pnueli

Steering Committee: Thomas Ball, Susanne Graf, Stefan Leue, Moshe Vardi, Pierre Wolper (chair)

Organisation Committee
Susanne Graf (Verimag, Grenoble, F, chair)
Laurent Mounier (Verimag, Grenoble, F, chair)

Programme Committee
Bernard Boigelot (Ličge, B)
Dragan Bosnacki (Eindhoven, NL)
David Dill (Stanford, USA)
Javier Esparza (Stuttgart, D)
Patrice Godefroid (Bell Laboratories, USA)
Susanne Graf (Verimag, Grenoble, F, chair)
John Hatcliff (Kansas State, USA),
Gerard Holzmann (Bell Labs, USA),
Stefan Leue (Freiburg, D)
Pedro Merino (Málaga, E)
Laurent Mounier (Verimag, Grenoble, F)
Mooly Sagiv (Tel-Aviv, Il)
Scott Stoller (Stony Brook, USA)
Antti Valmari (Tampere, Finnland)

Susanne Graf
Last modified: Mon May 3 17:30:37 MEST 2004