7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH)

Link to external website of the workshop

(Follow this link for the registration for the workshop)

Organisers

  • Goran Frehse
  • Matthias Althoff
  • Sergiy Bogomolov
  • Taylor T. Johnson

Speakers

tba

Summary

While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.
The workshop, now in its 7th edition, is accompanied by a curated benchmark repository and a collaborative website. It also hosts ARCH-COMP, a verification competition for continuous and hybrid systems. In 2018 and 2019, practically all major publicly available tools in this domain participated, 24 in total.
The workshop provides a vital bridge from academic research to industrial practice.

News and Updates

Proceedings published in IFAC-PapersOnline
The proceedings of the 21th IFAC World Congress in Germany are available via IFAC-PapersOnline.

Key Dates

Virtual Congress Hall
The Virtual Congress Hall will be open until December 31, 2020. Registered participants will be able to access all material until then.

Registration Fees

New reduced registration for virtual participation. For details, please see registration page.