ARCH 2020
International Workshop onApplied Verification for Continuous and Hybrid Systems
12 Jul 2020 - 12 Jul 2020 (Berlin, Germany)
| abstracts: 18 May 2020 | papers: 18 May 2020 | notification: 08 Jun 2020 |
ARCH 2016
International Workshop on
Applied Verification for Continuous and Hybrid Systems
11 Apr 2016 - 11 Apr 2016 (Vienna, Austria)
| papers: 15 Feb 2016 | notification: 07 Mar 2016 |