Email Gateway (Aug 23 2022 at 08:52): Email Gateway (Aug 23 2022 at 08:52):From: Gidon Ernst <gidon.ernst@lmu.de>
12th Working Conference on Verified Software: Theories, Tools, and
Experiments
https://sri-csl.github.io/VSTTE20
https://easychair.org/conferences/?conf=vstte2020
Abstract submission: April 14, 2020
Paper submission: April 20, 2020
Conference Date: July 19-20, 2020 (possibly online)
Co-located with the International Conference on Computer-Aided
Verification (CAV 2020) and the International Symposium on Software
Testing and Analysis (ISSTA 2020)
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.
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 2020 edition of VSTTE will be the 12th working conference in the
series, and will be co-located with CAV 2020 and ISSTA 2020 in Los
Angeles, USA.
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.
Topics of interest for this conference 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, and
integrated verification environments.
Work on diverse verification technologies, e.g., static analysis,
dynamic analysis, model checking, theorem proving, satisfiability, is
particularly encouraged.
General Chair
Natarajan Shankar (SRI International)
Program Chairs
Maria Christakis (MPI-SWS, Germany)
Nadia Polikarpova (UCSD, USA)
Program Committee
Christel Baier (TU Dresden, Germany)
Nikolaj Bjørner (Microsoft Research, USA)
Supratik Chakraborty (IIT Bombay, India)
Eva Darulova (MPI-SWS, Germany)
Ankush Desai (UC Berkeley and AWS, USA)
Gidon Ernst (LMU Munich, Germany)
Grigory Fedyukovich (Florida State University, USA)
Pietro Ferrara (Ca' Foscari University of Venice, Italy)
Jean-Christophe Filliâtre (CNRS, France)
Carlo A. Furia (USI, Switzerland)
Patrice Godefroid (Microsoft Research, USA)
Marieke Huisman (University of Twente, Netherlands)
Rajeev Joshi (AWS, USA)
Dejan Jovanović (SRI International, USA)
Akash Lal (Microsoft Research, India)
Nuno P. Lopes (Microsoft Research, UK)
Peter Müller (ETH Zurich, Switzerland)
Jorge Navas (SRI International, USA)
Andrei Paskevich (Paris-Sud University, France)
Hila Peleg (UCSD, USA)
Chris Poskitt (SMU, Singapore)
Zvonimir Rakamaric (University of Utah, USA)
Philipp Rümmer (Uppsala University, Sweden)
Christian Schilling (IST Austria, Austria)
Rahul Sharma (Microsoft Research, India)
Julien Signoles (CEA LIST, France)
Graeme Smith (The University of Queensland, Australia)
Michael Tautschnig (Queen Mary University of London and AWS, UK)
Tachio Terauchi (Waseda University, Japan)
Caterina Urban (INRIA, France)
Thomas Wies (NYU, USA)
Kirsten Winter (The University of Queensland, Australia)
Valentin Wüstholz (ConsenSys Diligence, Germany)
Damien Zufferey (MPI-SWS, Germany)
signature.asc
Last updated: Apr 25 2024 at 16:19 UTC