<div dir="ltr">Apologies for multiple postings<br><br><div>======================================================================<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/">http://spin2014.org/</a><br>             Joint Sessions with ISSTA on July 23rd<br>======================================================================<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>======================================================================<br>
            Submission Guidelines <br>======================================================================<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">https://www.easychair.org/conferences/?conf=spin20140</a><br><br>======================================================================<br>
            Important Dates<br>======================================================================<br><br> Paper Submission: April 19, 2014 (firm)<br> Author Notification: May 23, 2014<br> Camera-Ready Paper: June 16, 2014 <br>
<br>======================================================================<br>            Invited Speakers<br>======================================================================<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>======================================================================<br>              Program Chairs <br>======================================================================<br>
<br>Neha Rungta, NASA Ames Research Center, USA<br>Oksana Tkachuk, NASA Ames Research Center, USA<br><br>======================================================================<br>            Program Committee<br>======================================================================<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<br><br><br><br clear="all"><br>-- <br>-------------------------------------------------<br>Neha Rungta, Ph.D<br>SGT/NASA Ames Research Center<br><a href="http://ti.arc.nasa.gov/profile/nrungta/" target="_blank">http://ti.arc.nasa.gov/profile/nrungta/</a><br>
--------------------------------------------------
</div></div>