Important dates
- Paper submission: March 31 (AoE)
- Notification: April 30 (AoE)
- Final version: May 10 (AoE)
About VERDI
The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on safety and security) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.
Previous edition
-
VERDI 2024, 24 June 2024, Brisbane, Australia
-
VERDI 2023, 27 June 2023, Porto, Portugal
Support
This event is partly supported by the AGRARSENSE project that has received funding from the Chips Joint Undertaking (JU) under Grant Agreement No. 101095835 (project AGRARSENSE). The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Sweden, Spain, France, Ireland, Austria, the Netherlands, Italy, Poland, Germany, Norway, Finland, Latvia, Czechia, Türkiye. VERDI is partially supported by the Route 25 project (ref. TRB/2022/00061 - C645463824-00000063) funded by NextGenerationEU, within the Recovery and Resilience Plan (RRP).
Disclaimer: The Chips JU and the European Commission are not responsible for the content on this website or any use that may be made of the information it contains.
Photo by Grafi Jeremiah on Unsplash
Edit the content of this page here.