<div dir="ltr"><span style="font-size:12.8000001907349px">[apologies for cross posting]</span><div style="font-size:12.8000001907349px"><br></div><div style="font-size:12.8000001907349px"><div style="font-size:13px">**********************************************************************</div><div style="font-size:13px">7th Working Conference on Verified Software: Theories, Tools, and Experiments</div><div style="font-size:13px">July 18 - 19, 2015</div><div style="font-size:13px">San Francisco, California, USA</div><div style="font-size:13px"><a href="http://www.eecs.berkeley.edu/vstte15" target="_blank">http://www.eecs.berkeley.edu/vstte15</a></div><div style="font-size:13px"><br></div><div style="font-size:13px">Co-located with 25th Conference on Computer Aided Verification</div><div style="font-size:13px">(<a href="http://i-cav.org/2015" target="_blank">http://i-cav.org/2015</a>)</div><div style="font-size:13px">**********************************************************************</div><div style="font-size:13px"><br></div><div style="font-size:13px">Abstract submission: Extended to April 27, 2015<br></div><div style="font-size:13px">Full Paper Submission Deadline: Extended to May 1, 2015</div><div style="font-size:13px"><br></div><div style="font-size:13px"><br></div><div style="font-size:13px">SCOPE:</div><div style="font-size:13px"><br></div><div style="font-size:13px">The Seventh Working Conference on Verified Software: Theories, Tools,</div><div style="font-size:13px">and Experiments follows a successful inaugural working conference at</div><div style="font-size:13px">Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh</div><div style="font-size:13px">(2010), Philadelphia (2012), Atherton (2013), and Vienna (2014). The</div><div style="font-size:13px">goal of this conference is to advance the state of the art in the</div><div style="font-size:13px">science and technology of software verification, through the</div><div style="font-size:13px">interaction of theory development, tool evolution, and experimental</div><div style="font-size:13px">validation.</div><div style="font-size:13px"><br></div><div style="font-size:13px">We welcome submissions describing significant advances in the</div><div style="font-size:13px">production of verified software, i.e., software that has been</div><div style="font-size:13px">proved to meet its functional specifications.  We are</div><div style="font-size:13px">especially interested in submissions describing large-scale</div><div style="font-size:13px">verification efforts that involve collaboration, theory unification,</div><div style="font-size:13px">tool integration, and formalized domain knowledge.  We welcome papers</div><div style="font-size:13px">describing novel experiments and case studies evaluating verification</div><div style="font-size:13px">techniques and technologies.  Topics of interest include education,</div><div style="font-size:13px">requirements modeling, specification languages,</div><div style="font-size:13px">specification/verification case-studies, formal calculi, software</div><div style="font-size:13px">design methods, automatic code generation, refinement methodologies,</div><div style="font-size:13px">compositional analysis, verification tools (e.g., static analysis, dynamic</div><div style="font-size:13px">analysis, model checking, theorem proving, satisfiability), tool</div><div style="font-size:13px">integration, benchmarks, challenge problems, and integrated</div><div style="font-size:13px">verification environments.</div><div style="font-size:13px"><br></div><div style="font-size:13px"><br></div><div style="font-size:13px">PAPER SUBMISSION</div><div style="font-size:13px"><br></div><div style="font-size:13px">Papers will be evaluated by at least three members of the</div><div style="font-size:13px">Program Committee. We are accepting both long (limited to 16 pages)</div><div style="font-size:13px">and short (limited to 10 pages) paper submissions, written in English.</div><div style="font-size:13px">Short submissions also cover Verification Pearls describing an</div><div style="font-size:13px">elegant proof or proof technique.  Submitted research papers and</div><div style="font-size:13px">system descriptions must be original and not submitted for publication</div><div style="font-size:13px">elsewhere.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Research paper submissions must be in LNCS format and must</div><div style="font-size:13px">include a cogent and self-contained description of the ideas, methods,</div><div style="font-size:13px">results, and comparison to existing work.  Submissions of theoretical,</div><div style="font-size:13px">practical, and experimental contributions are equally encouraged,</div><div style="font-size:13px">including those that focus on specific problems or problem domains.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Papers should be submitted through:</div><div style="font-size:13px"><br></div><div style="font-size:13px"><a href="https://www.easychair.org/conferences/?conf=vstte2015" target="_blank">https://www.easychair.org/conferences/?conf=vstte2015</a>.</div><div style="font-size:13px"><br></div><div style="font-size:13px">Submissions that arrive late, are not in the proper format, or are too</div><div style="font-size:13px">long will not be considered.  The post-conference proceedings of VSTTE</div><div style="font-size:13px">2015 will be published by Springer-Verlag in the LNCS series.  Authors</div><div style="font-size:13px">of accepted papers will be requested to sign a form transferring</div><div style="font-size:13px">copyright of their contribution to Springer-Verlag.  The use of LaTeX</div><div style="font-size:13px">and the Springer LNCS class files, obtainable</div><div style="font-size:13px">fromhttp://<a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">www.springer.de/comp/lncs/authors.html</a>, is strongly</div><div style="font-size:13px">encouraged.</div><div style="font-size:13px"><br></div><div style="font-size:13px">PUBLICATION</div><div style="font-size:13px"><br></div><div style="font-size:13px">Accepted  papers will be  published as post-Proceedings, to</div><div style="font-size:13px">appear in Springer&#39;s Lectures Notes in Computer Science.</div><div style="font-size:13px"><br></div><div style="font-size:13px">IMPORTANT DATES:</div><div style="font-size:13px"><br></div><div style="font-size:13px">Abstract submission: Extended to April 27, 2015</div><div style="font-size:13px">Full paper submission: Extended to May 1, 2015</div><div style="font-size:13px">Notification: June 8, 2015</div><div style="font-size:13px"><br></div><div style="font-size:13px"><br></div><div style="font-size:13px">ORGANIZATION:</div><div style="font-size:13px">General Chair:          </div><div style="font-size:13px">Martin Schaef (SRI International)</div><div style="font-size:13px"><br></div><div style="font-size:13px">Program Chairs: </div><div style="font-size:13px">Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University)</div><div style="font-size:13px">Sanjit A. Seshia (University of California, Berkeley)</div><div style="font-size:13px"><br></div><div style="font-size:13px">Publicity Chair:        </div><div style="font-size:13px">Daniel Bundala (University of California, Berkeley)</div><div style="font-size:13px"><br></div><div style="font-size:13px">PROGRAM COMMITTEE:</div><div style="font-size:13px">Elvira Albert (Complutense University of Madrid)</div><div style="font-size:13px">Nikolaj Bjorner (Microsoft Research)</div><div style="font-size:13px">Evan Chang (University of Colorado, Boulder)</div><div style="font-size:13px">Ernie Cohen (University of Pennsylvania)</div><div style="font-size:13px">Jyotirmoy Deshmukh (Toyota)</div><div style="font-size:13px">Jin Song Dong (National University of Singapore)</div><div style="font-size:13px">Vijay D&#39;Silva (Google)</div><div style="font-size:13px">Vijay Ganesh (University of Waterloo)</div><div style="font-size:13px">Alex Groce (Oregon State)</div><div style="font-size:13px">Arie Gurfinkel (Software Engineering Institute, Carnegie Mellon University) (co-chair)</div><div style="font-size:13px">Bill Harris (Georgia Institute of Technology)</div><div style="font-size:13px">Chris Hawblitzel (Microsoft Research)</div><div style="font-size:13px">Bart Jacobs (Katholieke Universiteit Leuven, Belgium)</div><div style="font-size:13px">Susmit Jha (United Technologies)</div><div style="font-size:13px">Rajeev Joshi (Laboratory for Reliable Software, Jet Propulsion Laboratory)</div><div style="font-size:13px">Vladimir Klebanov, Karlsruhe Institute of Technology, DE</div><div style="font-size:13px">Akash Lal (Microsoft Research India)</div><div style="font-size:13px">Ruzica Piskac (Yale)</div><div style="font-size:13px">Zvonimir Rakamaric (University of Utah)</div><div style="font-size:13px">Kristin Yvonne Rozier (University of Cincinnati)</div><div style="font-size:13px">Sanjit A. Seshia (UC Berkeley) (co-chair)</div><div style="font-size:13px">Natarajan Shankar (SRI)</div><div style="font-size:13px">Carsten Sinz (KIT)</div><div style="font-size:13px">Nishant Sinha (IBM Research Labs)</div><div style="font-size:13px">Alexander Summers (ETH Zurich)</div><div style="font-size:13px">Zachary Tatlock (University of Washington)</div><div style="font-size:13px">Sergey Tverdyshev (Sysgo AG)</div><div style="font-size:13px">Arnaud Venet (CMU / NASA Ames Research Center)</div><div style="font-size:13px">Karen Yorav (IBM Haifa Research Lab)</div><div style="font-size:13px"><br></div><div style="font-size:13px">**********************************************************************</div><div style="font-size:13px">Please contact <a href="mailto:vstte2015@easychair.org" target="_blank">vstte2015@easychair.org</a>  for further information</div><div style="font-size:13px">**********************************************************************</div></div></div>