BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2025/newsitem/15471/23
 -June-2025-3rd-International-Workshop-on-Verificat
 ion-Validation-of-Dependable-Cyber-Physical-System
 s-VERDI-2025-Naples-Italy
DTSTAMP:20250217T140030
SUMMARY:3rd International Workshop on Verification
  & Validation of Dependable Cyber-Physical Systems
  (VERDI 2025), Naples, Italy
DTSTART;VALUE=DATE:20250623
DTEND;VALUE=DATE:20250623
LOCATION:Naples, Italy
DESCRIPTION: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, pote
 ntially automated/autonomous CPS. This workshop co
 vers all aspects related to the dependability eval
 uation (with special focus on *safety* and *securi
 ty*) of safety-critical CPS using techniques such 
 as fault/attack-injection, runtime verification, f
 ormal verification, semi-formal analysis, simulati
 on, and testing.  We welcome submissions in IEEE t
 wo-column conference style in two formats:  Full p
 apers (up to 8 pages) and Short papers (up to 4 pa
 ges). All submissions should be made in PDF and mu
 st adhere to the IEEE Computer Society 8.5"x11" tw
 o-column camera-ready format. Reviewing is single-
 blind. The names and affiliations of authors must 
 appear in the submitted papers. Submissions not re
 specting format requirements may be rejected witho
 ut review.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The VERDI
  workshop aims at serving as a discussion forum fo
 cused on the area of V&amp;V as a means to guarant
 ee dependability of complex, potentially automated
 /autonomous CPS. This workshop covers all aspects 
 related to the dependability evaluation (with spec
 ial focus on *safety* and *security*) of safety-cr
 itical CPS using techniques such as fault/attack-i
 njection, runtime verification, formal verificatio
 n, semi-formal analysis, simulation, and testing.<
 /p>\n</div><div>\n  <p>We welcome submissions in I
 EEE two-column conference style in two formats:&nb
 sp; 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&quot;x11&quot; two-column camera-ready format. 
 Reviewing is single-blind. The names and affiliati
 ons of authors must appear in the submitted papers
 . Submissions not respecting format requirements m
 ay be rejected without review.</p>\n</div>
URL:https://verdi-workshop.github.io/2025
CONTACT:verdi-2025 at easychair.org
END:VEVENT
END:VCALENDAR