Important dates (extended)

• Paper submission: April 7 March 28 (AoE)
• Notification: April 26 April 21 (AoE)
• Final version: May 5 (AoE)

Proceedings

• Available at IEEE Xplore: https://doi.org/10.1109/DSN-W58399.2023.

Invited speakers

• Karthik Pattabiraman, University of British Columbia, Canada
• José Bacelar Almeida, University of Minho, Portugal

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.

Support

This event has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852 (project VALU3S). The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey.

Disclaimer: the ECSEL 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 Daniel Seßler on Unsplash