The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. VSTTE will bring together users and practitioners (from industry and academia), tool developers, and researchers working on theoretic aspects of verification.

Submission Guidelines

We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies.

All papers must be original and not simultaneously submitted to another journal or conference. Contributions can be submitted in the form of full research papers (limited to 16 pages, not including references), and in the form of short papers (limited to 10 pages, not including references). The post-conference proceedings of VSTTE 2017 will be published in the LNCS series.

Topics include, but are not limited to:

• Education;
• Requirements modeling;
• Specification languages;
• Specification/verification/certification case studies;
• Formal calculi;
• Software design methods;
• Automatic code generation;
• Refinement methodologies;
• Compositional analysis;
• Verification tools, e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability;
• Tool integration;
• Benchmarks;
• Challenge problems;
• Integrated verification environments.

Programme Committee

• June Andronick (University of New South Wales, Australia)
• Martin Brain (University of Oxford, UK)
• Michael Butler (University of Southampton, UK)
• Supratik Chakraborty (IIT Bombay, India)
• Roderick Chapman (Protean Code Ltd and University of York, UK)
• Cristina David (University of Cambridge, UK)
• Dino Distefano (Facebook and Queen Mary University of London, UK)
• Mike Dodds (Galois Inc, USA)
• Patrice Godefroid (Microsoft Research, USA)
• Arie Gurfinkel (University of Waterloo, Canada)
• Liana Hadarean (Synopsys, USA)
• Swen Jacobs (Saarland University, Germany)
• Bart Jacobs (KU Leuven, Belgium)
• Cezary Kaliszyk (University of Innsbruck, Austria)
• Andy M. King (University of Kent, UK)
• Tim King (Google, USA)
• Vladimir Klebanov (SAP, Germany)
• Akash Lal (Microsoft Research, India)
• Nuno P. Lopes (Microsoft Research, UK)
• Alexander Malkis (TU Munich, Germany)
• Yannick Moy (AdaCore, France)
• Gennaro Parlato (University of Southampton, UK)
• Andrei Paskevich (Université Paris-Sud, France)
• Ruzica Piskac (Yale University, USA) - co-chair
• Markus Rabe (UC Berkeley, USA)
• Philipp Ruemmer (Uppsala University, Sweden) - co-chair
• Peter Schrammel (University of Sussex, UK)
• Natarajan Shankar (SRI International, USA)
• Tachio Terauchi (Waseda University, Japan)
• Mattias Ulbrich (KIT Karlsruhe, Germany)
• Philipp Wendler (Ludwig Maximilian University of Munich, Germany)
• Thomas Wies (New York University, USA)
• Greta Yorsh (Queen Mary University of London, UK)
• Aleksandar Zeljić (Uppsala University, Sweden)
• Damien Zufferey (MPI-SWS Kaiserslautern, Germany)

Invited Speakers

• tba

Venue

VSTTE 2018 is affiliated with the 30^th International Conference on Computer-Aided Verification (CAV 2018) and is part of the Federated Logic Conference. Local information can be found here.

Contact

All questions about submissions should be emailed to ruzica.piskac@yale.edu or philipp.ruemmer@it.uu.se