[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                    AVoCS 2018 Call for Papers
18th International Workshop on Automated Verification of Critical Systems
              Oxford University, UK, July 18-19, 2018
                 Website: http://avocs18.irisa.fr
              *** Deadline extended to April 20th, 2018 ***

The aim of the AVoCS workshop series is to contribute to the
interaction and exchange of ideas among members of the international
research community on tools and techniques for the verification of
critical systems. In particular, AVoCS 2018 aims to bring together
scientists and engineers that are active in the area of formal
methods, develop tools and techniques for the automated verification
of critical systems, and are interested in exchanging their
experiences in the industrial usage of these methods and tools.

The subject is to be interpreted broadly and inclusively. It covers
all aspects of automated verification, including model checking,
theorem proving, SAT/SMT constraint solving, abstract interpretation,
and refinement pertaining to various types of critical systems which
need to meet stringent dependability requirements (safety-critical,
business-critical, performance-critical, etc.). Contributions that
describe different techniques or industrial case studies are

The technical programme will consist of invited and contributed talks
and also allow for short presentations of research ideas. The workshop
will be relatively informal, with an emphasis on discussion where
special discussion sessions will be organised around the research
ideas presentations. Topics include (but are not limited to):
    - Model Checking
    - Automatic and Interactive Theorem Proving
    - SAT, SMT or Constraint Solving for Verification
    - Abstract Interpretation
    - Specification and Refinement
    - Requirements Capture and Analysis
    - Verification of Software and Hardware
    - Specification and Verification of Fault Tolerance and Resilience
    - Probabilistic and Real-Time Systems
    - Dependable Systems
    - Verified System Development
    - Industrial Applications

We are please to announce the following invited talks:
   - Michael Emmi, SRI International, USA
   - Antoine Miné, Sorbonne Université, LIP6, France

The event will at the Department of Computer Science, University of
Oxford. AVoCS is an affiliated event of FM 2018 and it will be hosted
within FLoC 2018 (http://www.floc2018.org). FLoC is a federated
conference of several international conferences related with
mathematical logics and computer science, for example CAV, FSCD,

Submissions of full papers to the workshop must not have been
published or be concurrently considered for publication elsewhere. All
submissions will be peer-reviewed and judged on the basis of
originality, contribution to the field, technical and presentation
quality, and relevance to the workshop. Submissions are handled via


The papers must be written in English and should not exceed 15 pages,
not counting references and appendices, in Springer LNCS format.

AVoCS also encourages the submissions of research ideas in order to
stimulate discussions at the workshop. Reports on ongoing work or
surveys on work published elsewhere are welcome. The Programme
Committee will select research ideas on the basis of submitted
abstracts according to significance and general interest. Research
ideas must be written in English and not exceed 2 pages using the
Springer LNCS format. The presentation of these ideas will be organised
around discussions, where the presenter should also prepare a set of
questions in which the audience will discuss.

Paper submission: April 20th, 2018
Notification: May 15th, 2018
Final version of papers due: May 31st, 2018
AVoCS Conference: July 18-19th, 2018
FLoC Conference: July 6-19th, 2018

At the workshop, pre-proceedings will be available in the form of a
FLoC 2018 pre-proceedings; this report will also
include the research ideas.  After the workshop, the authors of
accepted full papers will have about one month in order to revise
their papers for publication in the workshop post-proceedings
which will appear in the Electronic Communications of the EASST
Open Access Journal. Research ideas will not be part of the
proceedings in the Open Access Journal.

Authors of a selection of the best papers presented at the workshop
will be invited to submit extended versions of their work for
publication in a special issue of Elsevier's journal Science of
Computer Programming.

Jean-Christophe Filliatre, CNRS, France
Stefania Gnesi, ISTI-CNR, Pisa, Italy
Gregor Goessler, INRIA, France
Marieke Huisman, University of Twente, Netherlands
Bart Jacobs, KU Leuven, Belgium
Thierry Lecomte, ClearSy, France
Michael Leuschel, University of Düsseldorf, Germany
Stephan Merz, Inria Nancy/LORIA, France
David Pichardie (co-chair), IRISA/ENS Rennes/Inria, France
Andrew Reynolds, University of Iowa, USA
Markus Roggenbach, Swansea University, UK
Mihaela Sighireanu (co-chair), University Paris Diderot, France
Bernhard Steffen, University of Dortmund, Germany
Jun Sun, Singapore University of Technology and Design, Singapore
Maurice Ter Beek, ISTI-CNR, Pisa, Italy
Caterina Urban, ETH Zurich, Switzerland
Laurent Voisin, Systerel, France
Florian Zuleger, Vienna University of Technology, Austria

Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK

All questions about submissions should be emailed to AVOCS'18 chairs.

Reply via email to