Important dates

• Paper submission: Apr 2 (AoE)
• Notification: Apr 25 (AoE)
• Final version: May 1 (AoE)

Proceedings

• Available at IEEE Xplore: https://doi.org/10.1109/DSN-W60302.2024.

Invited speakers

• Juan Carlos Ruiz, Universitat Politècnica de València, Spain

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 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). VERDI is partially supported by the Spanish Ministry of Science, Innovation, and Universities (grant PID2020-120271RB-I00 funded by MCIN/AEI/10.13039/501100011033).

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.