[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SPIN 2009: Extended Deadline March 24, 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 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.

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


Corina Pasareanu, PhD