BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:ACV — deadlines and dates
X-WR-CALDESC:Every recorded edition of ACV. https://www.conferences-compute
 r.science/acv/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:acv-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260520
DTEND;VALUE=DATE:20260521
SUMMARY:ACV 2026 — paper deadline
DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat
 ion\nNo time zone stated by the organisers\; this site assumes Anywhere on
  Earth.\nShown as an all-day event: the deadline is a moment\, not a day\,
  so check the exact time on the conference site.\nExtended from 06 May 202
 6.\nHeld in Lisbon\, Portugal.\nConference dates: 24–25 Jul 2026.\nhttps
 ://www.conferences-computer.science/acv/2026/
URL:https://www.conferences-computer.science/acv/2026/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ACV
END:VEVENT
BEGIN:VEVENT
UID:acv-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260531
DTEND;VALUE=DATE:20260601
SUMMARY:ACV 2026 — notification
DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat
 ion\nNo time zone stated by the organisers\; this site assumes Anywhere on
  Earth.\nShown as an all-day event: the deadline is a moment\, not a day\,
  so check the exact time on the conference site.\nHeld in Lisbon\, Portuga
 l.\nConference dates: 24–25 Jul 2026.\nhttps://www.conferences-computer.
 science/acv/2026/
URL:https://www.conferences-computer.science/acv/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,ACV
END:VEVENT
BEGIN:VEVENT
UID:acv-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260724
DTEND;VALUE=DATE:20260726
SUMMARY:ACV 2026 — Lisbon\, Portugal
DESCRIPTION:First Workshop on Abstract and Concrete Techniques in Verificat
 ion\nHeld in Lisbon\, Portugal.\nPaper deadline was 20 May 2026.\nhttps://
 www.conferences-computer.science/acv/2026/
URL:https://www.conferences-computer.science/acv/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,ACV
END:VEVENT
END:VCALENDAR