posted by organizer: tertium || 6508 views || tracked by 13 users: [display]

VSTTE 2017 : 9th Working Conference on Verified Software: Theories, Tools, and Experiments

FacebookTwitterLinkedInGoogle


Conference Series : Verified Software: Theories, Tools, Experiments
 
Link: https://vstte17.lri.fr/
 
When Jul 22, 2017 - Jul 23, 2017
Where Heidelberg, Germany
Abstract Registration Due May 1, 2017
Submission Deadline May 8, 2017
Notification Due Jun 5, 2017
Final Version Due Aug 21, 2017
Categories    computer science   formal methods   software verification
 

Call For Papers

*** DEADLINE EXTENSION ***

9th Working Conference on Verified Software:
Theories, Tools, and Experiments (VSTTE)

https://vstte17.lri.fr

July 22-23, 2017, Heidelberg, Germany

Co-located with the 29th International Conference
on Computer-Aided Verification, CAV 2017


Deadline Extension

The deadlines for submitting abstracts and full papers have
been extended by one week. The new deadlines are firm.

Important Dates

* Abstract submission (extended): Mon, May 1, 2017 (AoE)
* Full paper submission (extended): Mon, May 8, 2017 (AoE)
* Notification: Mon, Jun 5, 2017
* VSTTE: Sat-Sun, Jul 22-23, 2017
* Camera-ready: Mon, Aug 21, 2017

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.

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 VSTTE include 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.

Paper Submissions

We accept both long (limited to 16 pages, references not included) and
short (limited to 10 pages, references not included) 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.
Each submission will be evaluated by at least three members of the
Program Committee. We expect that one author of every accepted paper
will present their work at the conference.

Paper submissions must be written in English using the LNCS LaTeX format
(http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines)
and must include a cogent and self-contained description of the ideas,
methods, results, and comparison to existing work.

Papers will be submitted via EasyChair at the VSTTE 2017 conference page
(https://www.easychair.org/conferences/?conf=vstte2017). The post-conference
proceedings of VSTTE 2017 will be published in the LNCS series. Authors
of accepted papers will be requested to sign the copyright transfer form.
A selection of best papers will be invited for publication in the Journal
of Automated Reasoning.

Invited Speakers

* Christoph Weidenbach (Max Planck Institute for Informatics, Germany)
* Santiago Zanella-Beguelin (Microsoft Research, UK)

Program Chairs

* Andrei Paskevich (Université Paris-Sud, France)
* Thomas Wies (New York University, USA)

Program Committee

* June Andronick (University of New South Wales, Australia)
* Christel Baier (TU Dresden, Germany)
* Sandrine Blazy (Université de Rennes 1, France)
* Arthur Charguéraud (Inria, France)
* Ernie Cohen (Amazon Web Services, USA)
* Rayna Dimitrova (MPI-SWS, Germany)
* Carlo A. Furia (Chalmers University of Technology, Sweden)
* Arie Gurfinkel (University of Waterloo, Canada)
* Hossein Hojjat (Rochester Institute of Technology, USA)
* Marieke Huisman (University of Twente, Netherlands)
* Bart Jacobs (KU Leuven, Belgium)
* Rajeev Joshi (NASA Jet Propulsion Laboratory, USA)
* Zachary Kincaid (Princeton University, USA)
* Akash Lal (Microsoft Research, India)
* Shuvendu Lahiri (Microsoft Research, USA)
* Francesco Logozzo (Facebook, USA)
* Peter Müller (ETH Zürich, Switzerland)
* Jorge A. Navas (SRI International, USA)
* Scott Owens (University of Kent, UK)
* Gerhard Schellhorn (Universität Augsburg, Germany)
* Peter Schrammel (University of Sussex, UK)
* Natarajan Shankar (SRI International, USA)
* Mihaela Sighireanu (Université Paris-Diderot, France)
* Julien Signoles (CEA LIST, France)
* Michael Tautschnig (Queen Mary University of London, UK)
* Tachio Terauchi (JAIST, Japan)
* Oksana Tkachuk (NASA Ames Research Center, USA)
* Mattias Ulbrich (Karlsruhe Institute of Technology, Germany)

Related Resources

LAK 2024   14th International Conference on Learning Analytics and Knowledge
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
ICTAI 2024   36th International Conference on Tools with Artificial Intelligence
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
GreeNet Symposium - SGNC 2024   15th Symposium on Green Networking and Computing (SGNC 2024)
TACAS 2024   Tools and Algorithms for Construction and Analysis of Systems
CVIV 2024   2024 6th International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2024) -EI Compendex
Critical Plant Theories and Cultures: Ex 2024   Call For Papers - Critical Plant Theories and Cultures: Exploring Human and More-than-human World Entanglements
StochMod 2024   8th Meeting of the EURO Working Group on Stochastic Modelling