Submitted by Matthias Althoff on December 23rd, 2017
The Best ARCH 2017 Paper Award goes to Stanley Bak and Parasara Sridhar Duggirala for their paper "Direct Verification of Linear Systems with over 10000 Dimensions". Congratulations! The award comes with a 500 Euro prize from Bosch.
Submitted by Matthias Althoff on June 5th, 2017
Submitted by Matthias Althoff on November 29th, 2015
The third edition of the Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH16) will take place in Vienna, April 2016, as part of CPSWeek.
Submitted by Goran Frehse on October 17th, 2015
Bosch sponsors the 500 Euro prize for the most promising tool result at ARCH16. Bosch has been a sponsor of the ARCH workshop series since 2015 and has been actively participating in the workshop since the first edition in 2014.
Submitted by Goran Frehse on September 24th, 2015
Bosch sponsers the 500 Euro prize for the most promising benchmark result.
Submitted by Matthias Althoff on November 17th, 2014
ARCH15 is taking place at CPS Week in Seattle, USA. For more information on CPS Week, see http://www.cpsweek.org/2015/
Submitted by Matthias Althoff on October 25th, 2014
The proceedings of the ARCH14 workshop are now available in the Files section on the website.
Submitted by Goran Frehse on April 11th, 2014