[Om-announce] SPIN 2009: Extended Deadline March 24, 2009

Corina Pasareanu Corina.S.Pasareanu at nasa.gov
Tue Mar 10 20:39:21 CET 2009


Due to several requests, we have decided to extend the submission 
deadline for
SPIN 2009 -- held in conjunction with CAV 2009 in Grenoble -- until 
March 24.

The schedule will be as follows:

March 24: submission deadline.
April 20: notification.
June 26-28 Friday -- Sunday, 2009: SPIN with CAV in Grenoble

I apologize if you receive multiple copies of this message.

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/

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 
in the SPIN model checker or other tools, or techniques based on 
of explicit and other symbolic representations. We welcome papers describing
the development and application of state-space and path-exploration 
for the testing and the verification of security-critical software, 
and web applications, embedded software, and other interesting software
platforms. The workshop aims to encourage interactions and exchanges of 
with all related areas in software engineering.

... more on the SPIN web-page ....


Corina Pasareanu, PhD

More information about the Om-announce mailing list