Please note that this newsitem has been archived, and may contain outdated information or links.
23 June 2025, 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), Naples, Italy
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.
We welcome submissions in IEEE two-column conference style in two formats: Full papers (up to 8 pages) and Short papers (up to 4 pages). All submissions should be made in PDF and must adhere to the IEEE Computer Society 8.5"x11" two-column camera-ready format. Reviewing is single-blind. The names and affiliations of authors must appear in the submitted papers. Submissions not respecting format requirements may be rejected without review.
Please note that this newsitem has been archived, and may contain outdated information or links.