<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">
The paper submission deadline for SPIN 2014 has been extended to April 22, 11:59PM AOE.
<div><br>
</div>
<div>
<div>==============================<wbr>==============================<wbr>==========<br>
21st International Symposium on Model Checking of Software - SPIN 2014<br>
San Jose, CA, USA, July 21-23, 2014<br>
<a href="http://spin2014.org/" target="_blank">http://spin2014.org/</a><br>
Joint Sessions with ISSTA on July 23rd<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
<br>
The SPIN Symposium is a leading forum for practitioners and<br>
researchers interested in software verification and engineering. There<br>
are two tracks for paper submissions.<br>
<br>
*** Software Verification Track ***<br>
<br>
We solicit submissions on theoretical techniques, novel algorithms and<br>
empirical evaluation for state-space exploration based techniques. We<br>
welcome submissions describing the development and application of<br>
state space exploration techniques in testing and verifying embedded<br>
software, mobile platforms, security-critical software, enterprise and<br>
web applications, and other interesting software platforms.<br>
<br>
<br>
*** New this year: Software Engineering Track ***<br>
<br>
New this year we solicit submissions on techniques and approaches that<br>
extend or leverage existing state-space exploration based techniques<br>
such as model checking and symbolic execution to assist in automating<br>
software engineering tasks such as design, implementation, analysis,<br>
testing, and maintenance of software systems.<br>
<br>
<br>
==============================<wbr>==============================<wbr>==========<br>
Submission Guidelines<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
SPIN 2014 invites high quality contributions describing significant,<br>
original, and unpublished results for submission in two categories:<br>
<br>
(a) Research papers describing fully developed work and complete<br>
results (10 pages)<br>
<br>
(b) Short papers describing tools, experience reports, descriptions<br>
of new ideas, or work in progress with preliminary results (4<br>
pages)<br>
<br>
<a href="https://www.easychair.org/conferences/?conf=spin20140" target="_blank">https://www.easychair.org/<wbr>conferences/?conf=spin20140</a><br>
<br>
==============================<wbr>==============================<wbr>==========<br>
Important Dates<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
Paper Submission: April 22, 2014 (11:59 PM AOE)<br>
Author Notification: May 23, 2014<br>
Camera-Ready Paper: June 16, 2014 <br>
<br>
==============================<wbr>==============================<wbr>==========<br>
Invited Speakers<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
Karen Gundy-Burlet, NASA Ames Research Center, USA<br>
Henny Sipma, Kestrel Technology, USA<br>
Cormac Flanagan, UC Santa Cruz, USA (Joint speaker with ISSTA)<br>
<br>
==============================<wbr>==============================<wbr>==========<br>
Program Chairs<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
Neha Rungta, NASA Ames Research Center, USA<br>
Oksana Tkachuk, NASA Ames Research Center, USA<br>
<br>
==============================<wbr>==============================<wbr>==========<br>
Program Committee<br>
==============================<wbr>==============================<wbr>==========<br>
<br>
Ezio Bartocci,TU Wien, Vienna University of Technology, Austria<br>
Dirk Beyer, University of Passau, Germany<br>
Alastair Donaldson, Imperial College London, UK<br>
Alex Groce, Oregon State University, USA<br>
Arie Gurfinkel, Software Engineering Institute, CMU, USA<br>
Gerard Holzmann, NASA/JPL, USA<br>
Franjo Ivancic, NEC Laboratories America, Inc., USA<br>
Sarfraz Khurshid, The University of Texas at Austin, USA<br>
Shuvendu Lahiri, Microsoft Research, USA<br>
Stefan Leue, University of Konstanz, Germany<br>
Eric Mercer, Brigham Young University, USA<br>
David Parker, University of Birmingham, UK<br>
Suzette Person, NASA Langley Research Center, USA<br>
Zvonimir Rakamaric, University of Utah, USA<br>
C. R. Ramakrishna, Stony Brook University, USA<br>
Robby, Kansas State University, USA<br>
Scott Stoller, Stony Brook University, USA<br>
Murali Talupur, Intel, USA<br>
Suresh Thummalapenta, IBM Research, India<br>
Jaco Van De Pol, University of Twente, Netherlands<br>
Willem Visser, Stellenbosch University, South Africa<br>
Michael Whalen, University of Minnesota, USA</div>
</div>
</body>
</html>