[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
VSTTE 2018: 10th Working Conference on Verified Software: Theories, Tools, and
Experiments
Oxford, part of FLoC 2018
Oxford, UK, July 18-19, 2018
Conference websitehttp://vstte18.it.uu.se/
Submission linkhttps://easychair.org/conferences/?conf=vstte2018
Abstract registration deadlineApril 15, 2018
Submission deadlineApril 22, 2018
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)
Venue
VSTTE 2018 is affiliated with the 30th International Conference on
Computer-Aided Verification (CAV 2018) and is part of the Federated Logic
Conference.
Contact
All questions about submissions should be emailed to ruzica.pis...@yale.edu or
philipp.ruem...@it.uu.se