View source for SPIN 2009

{{Event
 | Acronym = SPIN 2009
 | Title = SPIN Workshop on Model Checking of Software
 | Type = Workshop
 | Series = 
 | Field = Uncategorized
 | Homepage = ti.arc.nasa.gov/event/spin09
 | Start date = Jun 26, 2009 
 | End date =  Jun 29, 2009
 | City= Grenoble
 | State = 
 | Country =  France
 | Abstract deadline = 
 | Submission deadline = Mar 9, 2009
 | Notification = 
 | Camera ready = Apr 17, 2009
}}

<pre>
The SPIN workshop is a forum for practitioners and researchers interested in the model checking-based analysis of software systems. The focus of the workshop is on theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas with all related areas in software engineering. For more information see the call for papers.

SPIN 2009 is the 16th event in the workshop series. The proceedings will appear in Lecture Notes in Computer Science.
Invited Speakers

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

Important Dates

Paper submission: March 9, 2009
Notification of acceptance: April 10, 2009
Final papers due: April 17, 2009
Workshop: June 26-28 Friday -- Sunday, 2009

Submission

The link for submissions is:
http://www.easychair.org/conferences/?conf=spin09
Venue

SPIN 2009 will be held at Europole, in Grenoble, France, and it will be co-located with CAV 2009. Registration and accommodation will be arranged through the CAV 2009 web-site.
	</pre>This CfP was obtained from [http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=4931&amp;copyownerid=602 WikiCFP]
Acronym	SPIN 2009 +
Camera ready due	April 17, 2009 +
End date	June 29, 2009 +
Event type	Workshop +
Has coordinates	45° 11' 15", 5° 44' 9"Latitude: 45.187561111111 Longitude: 5.7357805555556 +
Has location city	Grenoble +
Has location country	Category:France +
Homepage	http://ti.arc.nasa.gov/event/spin09 +
IsA	Event +
Start date	June 26, 2009 +
Submission deadline	March 9, 2009 +
Title	SPIN Workshop on Model Checking of Software +