[FM-India] CFP 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended Deadline: April 19th)

Madhavan Mukund madhavan at cmi.ac.in
Sat Apr 5 14:30:12 IST 2014

 From: Neha Rungta <neharungta at gmail.com>
 To: undisclosed-recipients:;
 Date: Fri, 4 Apr 2014 14:09:00 -0700
 Subject: CFP 21st International Symposium on Model Checking of Software - SPIN 2014 (Extended Deadline: April 19th)
 Apologies for multiple postings
 21st International Symposium on Model Checking of Software - SPIN 2014
              San Jose, CA, USA, July 21-23, 2014
              Joint Sessions with ISSTA on July 23rd
 The SPIN Symposium is a leading forum for practitioners and
 researchers interested in software verification and engineering. There
 are two tracks for paper submissions.
               *** Software Verification Track  ***
 We solicit submissions on theoretical techniques, novel algorithms and
 empirical evaluation for state-space exploration based techniques. We
 welcome submissions describing the development and application of
 state space exploration techniques in testing and verifying embedded
 software, mobile platforms, security-critical software, enterprise and
 web applications, and other interesting software platforms.
          *** New this year: Software Engineering Track  ***
 New this year we solicit submissions on techniques and approaches that
 extend or leverage existing state-space exploration based techniques
 such as model checking and symbolic execution to assist in automating
 software engineering tasks such as design, implementation, analysis,
 testing, and maintenance of software systems.
             Submission Guidelines
 SPIN 2014 invites high quality contributions describing significant,
 original, and unpublished results for submission in two categories:
    (a) Research papers describing fully developed work and complete
    results (10 pages)
    (b) Short papers describing tools, experience reports, descriptions
    of new ideas, or work in progress with preliminary results (4
             Important Dates
  Paper Submission: April 19, 2014 (firm)
  Author Notification: May 23, 2014
  Camera-Ready Paper: June 16, 2014
             Invited Speakers
 Karen Gundy-Burlet, NASA Ames Research Center, USA
 Henny Sipma, Kestrel Technology, USA
 Cormac Flanagan, UC Santa Cruz, USA (Joint speaker with ISSTA)
               Program Chairs
 Neha Rungta, NASA Ames Research Center, USA
 Oksana Tkachuk, NASA Ames Research Center, USA
             Program Committee
 Ezio Bartocci,TU Wien, Vienna University of Technology, Austria
 Dirk Beyer, University of Passau, Germany
 Alastair Donaldson, Imperial College London, UK
 Alex Groce, Oregon State University, USA
 Arie Gurfinkel, Software Engineering Institute, CMU, USA
 Gerard Holzmann, NASA/JPL, USA
 Franjo Ivancic, NEC Laboratories America, Inc., USA
 Sarfraz Khurshid, The University of Texas at Austin, USA
 Shuvendu Lahiri, Microsoft Research, USA
 Stefan Leue, University of Konstanz, Germany
 Eric Mercer, Brigham Young University, USA
 David Parker, University of Birmingham, UK
 Suzette Person, NASA Langley Research Center, USA
 Zvonimir Rakamaric, University of Utah, USA
 C. R. Ramakrishna, Stony Brook University, USA
 Robby, Kansas State University, USA
 Scott Stoller, Stony Brook University, USA
 Murali Talupur, Intel, USA
 Suresh Thummalapenta, IBM Research, India
 Jaco Van De Pol, University of Twente, Netherlands
 Willem Visser, Stellenbosch University, South Africa
 Michael Whalen, University of Minnesota, USA

 Neha Rungta, Ph.D
 SGT/NASA Ames Research Center

More information about the FMIndia mailing list