Visible to the public Workshops and Meetings

Workshops and Meetings

International Conference on Applied veRification for Continuous and Hybrid Systems (ARCH)
The ARCH workshop series, held as part of CPSWeek, aims to bring together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

2014 | 2015 | 2016 | 2017 | 2018

Software Certification Consortium
Meeting Series

SCC typically meets twice a year, and the themes of the meetings are designed to contribute to a long-term SCC work plan. 

Safe and Secure Systems and Software Symposium (S5)
S5 focuses on bringing together academic, industry, and government parties concerned with the safety and security of highly complex or autonomous safety critical systems.

2011 | 2012 | 2014 | 2015 | 2016 | 2017

International Conference on Verification and Evaluation of Computer and Communication Systems
Focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related. September 26-28, 2018 in Grenoble, France