[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

16th International SPIN Workshop on Model Checking of Software (SPIN 2009)

June 26--28, 2009, Grenoble, France
Co-located with CAV 2009 <http://www-cav2009.imag.fr/>
URL: http://ti.arc.nasa.gov/event/spin09/

The submission site is open until Sunday, March 29, 2009.

Aim and Scope:

The SPIN workshop is a forum for practitioners and researchers interested
in state space-based techniques for the validation and analysis of software
systems. The focus of the workshop is on theoretical advances and empirical
evaluations based on explicit representations of state spaces, as 
implemented in the SPIN model checker or other tools, or techniques based 
on combinations of explicit and other symbolic representations. We welcome 
papers describing the development and application of state-space and 
path-exploration techniques for the testing and the verification of 
security-critical software, enterprise and web applications, embedded 
software, and other interesting software platforms. The workshop aims to 
encourage interactions and exchanges of ideas with all related areas in 
software engineering.

Invited Speakers:

Patrice Godefroid, Microsoft Research, USA
Marta Kwiatkowska, Oxford University, UK
Joseph Sifakis (Turing Award 2007), VERIMAG, France
Willem Visser, SEVEN Networks, USA

Program Chair:
Corina Pasareanu, CMU/NASA Ames

Program Committee:

Christel Baier, U Bonn, Germany
Dragan Bosnacki, Eindhoven U, Netherlands
Patricia Bouyer, √ČNS de Cachan, France
Lubos Brim, Masaryk U, Czech Republic
Marsha Chechik, U Toronto, Canada
Matthew Dwyer, U Nebraska, USA
Stefan Edelkamp, TU Dortmund, Germany
Susanne Graf, VERIMAG, France
Jaco Geldenhuys, U Stellenbosch, South Africa
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
Radu Iosif, VERIMAG, France
Michael Jones, Brigham Young U, USA
Sarfraz Khurshid, UT Austin, USA
Orna Kupferman, Hebrew U, Israel
Stefan Leue, U Konstanz, Germany
Rupak Majumdar, UC Los Angeles, USA
Madan Musuvathi, Microsoft Research, USA
Koushik Sen, UC Berkeley, USA
Scott Stoller, Stony Brook U, USA
Farn Wang, National Taiwan U, Taiwan
Pierre Wolper, U Liege, Belgium


You can find more information on the SPIN 2009 web-page.
Please submit your good papers to SPIN 2009!

*******************************************************************************

-- 
Corina Pasareanu, PhD
CMU/NASA Ames
http://ti.arc.nasa.gov/profile/pcorina/ 

Reply via email to