posted by user: jyotirmoy || 1021 views || tracked by 2 users: [display]

SPIN 2009 : SPIN Workshop on Model Checking of Software

FacebookTwitterLinkedInGoogle

Link: http://ti.arc.nasa.gov/event/spin09/
 
When Jun 26, 2009 - Jun 29, 2009
Where Grenoble, France
Submission Deadline Mar 9, 2009
Notification Due Apr 10, 2009
Final Version Due Apr 17, 2009
 

Call For Papers

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.

Related Resources

SPIN 2024   30th International Symposium on Model Checking Software
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
ICAISE 2024   2024 3rd International Conference on Artificial Intelligence and Software Engineering (ICAISE 2024)
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)