Visible to the public AVoCS 2018Conflict Detection Enabled

Submitted by akarns on Fri, 04/20/2018 - 11:54am
Jul 18, 2018 7:00 am - Jul 19, 2018 6:00 pm BST

18th International Workshop on Automated Verification of Critical Systems (AVoCS 2018)

Overview

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.
AVOCS 2018 is an affiliated workshop of FLoC 2018

List of Topics

  • 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

Invited Speakers

  • Michael Emmi, SRI International, USA
  • Antoine Mine, Sorbonne Universite, LIP6, France

Program Committee

  • 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 Dusseldorf, 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), LIAFA/University of Paris Diderot, France
  • Bernhard Steffen, Univ 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

Steering Committee

  • Michael Goldsmith, University of Oxford, UK
  • Stephan Merz, Inria Nancy/LORIA, France
  • Markus Roggenbach, Swansea University, UK
Event Details
Location: 
Oxford University, UK
URL: 
http://avocs18.irisa.fr/