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
Important Dates
|
|
||
|
|
||
|
|
15 May 2018 | |
|
|
31 May 2018 |
Invited Speakers
- Michael Emmi, SRI International, USA
- Antoine Miné, Sorbonne Université, LIP6, France
- Michael Tautschnig, Amazon, USA
- Yannick Moy, AdaCore, 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 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), 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