VSTTE: Verified Software: Theories, Tools, Experiments



Past:   Proceedings on DBLP

Future:  Post a CFP for 2020 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
VSTTE 2019 Verified Software: Theories, Tools and Experiments
Jul 13, 2019 - Jul 14, 2019 New York Apr 29, 2019 (Apr 23, 2019)
VSTTE 2017 9th Working Conference on Verified Software: Theories, Tools, and Experiments
Jul 22, 2017 - Jul 23, 2017 Heidelberg, Germany May 8, 2017 (May 1, 2017)
VSTTE 2016 Verified Software: Theories, Tools, Experiments
Jul 17, 2016 - Jul 18, 2016 Toronto, Canada May 2, 2016 (Apr 25, 2016)
VSTTE 2015 Verified Software: Theories, Tools, and Experiments
Jul 18, 2015 - Jul 19, 2015 San Francisco May 4, 2015 (Apr 27, 2015)
VSTTE 2013 Verified Software: Theories, Tools, and Experiments
May 17, 2013 - May 19, 2013 Atherton, CA Mar 1, 2013 (Feb 22, 2013)
VSTTE 2012 Verified Software: Theories, Tools and Experiments
Jan 28, 2012 - Jan 29, 2012 Philadelphia, USA Aug 31, 2011

Present CFP : 2019

Verified Software: Theories, Tools and Experiments (VSTTE) 2019
July 13-14, 2019, New York City, USA (co-located with CAV 2019)

The Verified Software Initiative (VSI), spearheaded by Tony
Hoare and Jayadev Misra, is an ambitious research program for making
large-scale verified software a practical reality. The Working
Conference on Verified Software: Theories, Tools and Experiments
(VSTTE) is the main forum for advancing the initiative. VSTTE brings
together experts spanning the spectrum of software verification in
order to foster international collaboration on the critical research
challenges. The theoretical work includes semantic foundations and
logics for specification and verification, and verification algorithms
and methodologies. The tools cover specification and annotation
languages, program analyzers, model checkers, interactive verifiers
and proof checkers, automated theorem provers and SAT/SMT solvers, and
integrated verification environments. The experimental work drives the
research agenda for theory and tools by taking on significant
specification/verification exercises covering hardware, operating
systems, compilers, computer security, parallel computing, and
cyber-physical systems.

The 2019 edition of VSTTE will be the 11th working conference in the
series, and will be co-located with CAV 2019 in New York City, USA

SCOPE: We welcome submissions describing significant advances in the
production of verified software. We are especially interested in
submissions describing large-scale verification efforts that involve
collaboration, theory unification, tool integration, and formalized
domain knowledge. We welcome papers describing novel experiments and
case studies evaluating verification techniques and
technologies. Topics of interest include, but are not limited to

Requirements modeling
Specification languages
Specification/verification case-studies
Formal calculi
Software design methods
Automatic code generation
Refinement methodologies
Compositional analysis
Tool integration
Challenge problems
Integrated verification environment
Verification tools

Work on diverse verification technologies, e.g., static analysis,
dynamic analysis, model checking, theorem proving, satisfiability, are
particularly encouraged.

SUBMISSIONS: VSTTE 2019 will accept both long (limited to 20 pages)
and short (limited to 12 pages) paper submissions. Short submissions
also cover Verification Pearls describing an elegant proof or
proof technique. Submitted research papers and system descriptions
must be original and not submitted for publication elsewhere. Research
paper submissions must be in LNCS format and must include a cogent and
self-contained description of the ideas, methods, results, and
comparison to existing work. Submissions of theoretical, practical,
and experimental contributions are equally encouraged, including those
that focus on specific problems or problem domains.

Papers can be submitted at https://easychair.org/conferences/?conf=vstte2019
Submissions that arrive late, are not in the proper format, or are too
long will not be considered. The post-conference proceedings of VSTTE
2019 will be published by Springer-Verlag in the LNCS series. Authors
of accepted papers will be requested to sign a form transferring
copyright of their contribution to Springer-Verlag. The use of LaTeX
and the Springer llncs class files
(http://www.springer.de/comp/lncs/authors.html) is strongly

April 23, 2019 (firm): Title/Abstract submission
April 29, 2019 (firm): Full paper submission
June 3, 2019: Notification of acceptance
July 13-14, 2019: Conference
Aug 26, 2019 (firm): Camera-ready for post-conference proceedings

Tevfik Bultan (UC Santa Barbara, USA)
Marsha Chechik (University of Toronto, Canada)
Aarti Gupta (Princeton University, USA)
Antoine Mine (Sorbonne Universite, France)

Natarajan Shankar (SRI International, USA)

Supratik Chakraborty (IIT Bombay, India)
Jorge A. Navas (SRI International, USA)

Aws Albarghouthi (University of Wisconsin-Madison, USA)
Xinyu Feng (Nanjing University, China)
Graeme Gange (Monash University, Australia)
Ashutosh Gupta (IIT Bombay, India)
Arie Gurfinkel (University of Waterloo, Canada)
Liana Hadarean (Amazon Web Services, USA)
Joxan Jaffar (National University of Singapore, Singapore)
Dejan Jovanovic (SRI International, USA)
Aditya Kanade (Indian Institute of Science, India)
Yunho Kim (KAIST, South Korea)
Tim King (Google, USA)
Yi Li (Nanyang Technological University, Singapore)
Nuno Lopes (Microsoft Research, UK)
David Monniaux (Verimag, France)
Jose F. Morales (Imdea Software, Spain)
Yannick Moy (AdaCore, France)
Kedar Namjoshi (Bell Labs, USA)
Nina Narodytska (VMware Research, USA)
Aina Niemetz (Stanford University, USA)
Oded Padon (Stanford University, USA)
Phillip Rummer (Uppsala University, Sweden )
Peter Schrammel (University of Sussex, UK)
Rahul Sharma (Microsoft Research, India)
Jing Sun (The University of Auckland, New Zealand)
Michael Tautschnig (Queen Mary University of London, UK)
Tachio Terauchi (Waseda University, Japan)
Aditya Thakur (UC Davis, USA)
R. Venkatesh (TRDDC-TCS, India)
Bow-Yaw Wang (Inst of Information Science, Taiwan)
Valentin Wuestholz (ConsenSys Diligence)


Related Resources

LCTES 2020   The 21st ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems
SEFM 2020   Software Engineering and Formal Methods
TACAS 2020   Tools and Algorithms for Construction and Analysis of Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
VCLA Student Awards in Logic and CS 2020   CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
ARC 2020   Applied Reconfigurable Computing
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
TTSDP 2020   12th International Workshop on Tools and Techniques in Software Development Process
Remote Practices I 2020   Remote Practices I: Architect’s tools and the Challenges of Globalization