Tools and Experiments
URL:https://www.soundandcomplete.org/vstte2024.html
Call For Papers
Overview
=========
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 International 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 2024 edition of VSTTE will be the 16th international conference in
the series, and will be co-located with FMCAD 2024 in Prague, Czech
Republic.
Paper Submissions
=================
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. We encourage submissions on in-progress verified software
projects. Presenters will have the option to not include their papers in
the post-proceedings, leaving them free to submit their work to other
venues later.
Topics of interest for this conference include, but are not limited to,
requirements modelling, 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.
VSTTE 2024 will accept both long (limited to 16 pages, excluding
references) and short (limited to 10 pages, excluding references) 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. Submissions of theoretical, practical, and experimental
contributions are equally encouraged, including those that focus on
specific problems or problem domains. Papers will be submitted via
HotCRP at the VSTTE 2024 conference page
(https://vstte2024.hotcrp.com/). Submissions that arrive late, are not
in the proper format, or are too long will not be considered.
Thepost-conference proceedings of VSTTE 2024 will be published as a LNCS
volume by Springer-Verlag. 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 LNCS class files is
strongly encouraged.
Deadlines:
==========
Paper submission: July 27 AoE
Notification of decisions: Aug 19 AoE
Early registraton deadline: Aug 20 AoE
Pre-conference final version due: Oct 3 AoE
VSTTE conference: Oct 14-15
=================
Program Chairs
* Azalea Raad (Imperial College London, UK)
* Jonathan Protzenko (Microsoft Research, Seattle, USA)
General Chair
* Supratik Chakraborty (IIT Bombay, India)
Publicity Chair
* Serdar Tasiran (Amazon Web Services, USA)
Program Committee
* Andreas Loow (Imperial College London)
* Arie Gurfinkel (University of Waterloo)
* Burcu Kulahcioglu (TU Delft)
* Claire Dross (AdaCore)
* Emanuele D'Osualdo (University of Konstanz)
* Greg Malecha (Bedrock Systems)
* Guillaume Ambal (Imperial College London)
* John Wickerson (Imperial College London)
* Juneyoung Lee (Seoul National University)
* Karine Even Mendoza (King's College London)
* Kartik Nagar (IIT Madras)
* Ken McMillan (University of Texas at Austin)
* Kumar Madhukar (IIT Delhi)
* Léo Stefanesco (MPI-SWS)
* Marc Pouzet (École Normale Supérieure)
* Martin Bodin (Inria, Grenoble|)
* Michael Sammler (ETH Zürich)
* Michalis Kokologiannakis (MPI-SWS)
* Paulo de Vilhena(Imperial College London)
* Roland Meyer (TU Braunschweig)
* Rupak Majumdar (MPI-SWS)
* Soham Chakraborty (TU Delft)
* Umang Mathur (National University of Singapore)
* Yu-Fang Chen (Academia Sinica)
_______________________________________________
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
