<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; ">
Apologies for multiple postings<br>
<br>
==============================<wbr>==============================<wbr>==========<br>
21st International Symposium on Model Checking of Software - SPIN 2014<br>
San Jose, CA, USA, <span tabindex="0" class="aBn" data-term="goog_1437430170">
July 21</span>-<span tabindex="0" class="aBn" data-term="goog_1437430171">23, 2014</span><br>
<a href="http://spin2014.org/" target="_blank">http://spin2014.org/</a><br>
Joint Sessions with ISSTA on <span tabindex="0" class="aBn" data-term="goog_1437430172">
July 23rd</span><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: <span tabindex="0" class="aBn" data-term="goog_1437430173">April 19, 2014</span> (firm)<br>
Author Notification: <span tabindex="0" class="aBn" data-term="goog_1437430174">
May 23, 2014</span><br>
Camera-Ready Paper: <span tabindex="0" class="aBn" data-term="goog_1437430175">June 16, 2014</span><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
</body>
</html>