[TYPES/announce] VSTTE 2018 - Call for papers

[Piskac, Ruzica]

VSTTE 2018: 10th Working Conference on Verified Software: Theories, Tools, and Experiments
Oxford, part of FLoC 2018
Oxford, UK, July 18-19, 2018

Conference website    http://vstte18.it.uu.se/
Submission link    https://easychair.org/conferences/?conf=vstte2018
Abstract registration deadline    April 15, 2018
Submission deadline    April 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.piskac at yale.edu or philipp.ruemmer at it.uu.se

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180406/28bf7586/attachment-0001.html>