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 2019 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.

Important Dates [updated!]

  • Abstract submission deadline:
  • 26 May 09 June 2019 (site)
  • Paper submission deadline:
  • 02 June 16 June 2019 (site)
  • Author notification:
  • 23 June 7 July 2019
  • Camera-ready paper versions due:
  • 07 July 21 July 2019

    Invited Speakers

    • [under construction]

    Program Committee

    Steering Committee