Workshops and Meetings

Submitted by akarns on Thu, 09/17/2015 - 4:17pm

Workshops and Meetings

International Conference Series 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.

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.

NASA Formal Methods Symposium (NFM)
Held at NASA. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems.

2015 | 2016 | 2017 | 2018 | 2019 | 2020 |
2021 | 2023

International Conference on Verification and Evaluation of Computer and Communication Systems (VeCOS)
Focuses on the analysis of computer and communication systems, where functional and extra-functional properties are inter-related.

2015 | 2016 | 2017 | 2018 | 2019 | 2020 | 2021 | 2022 | 2023