RISE4CPS: July 22-23, co-located with CAV’17

Date: Saturday, July 22, 2017
Venue: Heidelberg, Germany

RISE4CPS workshop aims to invite international world-renown researchers in the field of formal methods to to provide tutorials on computational tools for the design and the automated analysis of complex CPS and to foster potential collaborations of the workshop’s participants within the RISE network.

More info at http://www.eziobartocci.com/rise4cps/ or ask Ezio Bartocci.

Posted in Events, News