BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:HYPER — deadlines and dates
X-WR-CALDESC:Every recorded edition of HYPER. https://www.conferences-compu
 ter.science/hyper/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:hyper-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240425
DTEND;VALUE=DATE:20240426
SUMMARY:HYPER 2024 — abstract deadline
DESCRIPTION:3rd Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nDeadline stated in AoE.\nShown as an all-day event: the deadline is
  a moment\, not a day\, so check the exact time on the conference site.\nH
 eld in Montréal\, Québec\, Canada.\nConference dates: 23 Jul 2024.\nhttp
 s://www.conferences-computer.science/hyper/2024/
URL:https://www.conferences-computer.science/hyper/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240425
DTEND;VALUE=DATE:20240426
SUMMARY:HYPER 2024 — paper deadline
DESCRIPTION:3rd Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nDeadline stated in AoE.\nShown as an all-day event: the deadline is
  a moment\, not a day\, so check the exact time on the conference site.\nH
 eld in Montréal\, Québec\, Canada.\nConference dates: 23 Jul 2024.\nhttp
 s://www.conferences-computer.science/hyper/2024/
URL:https://www.conferences-computer.science/hyper/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240513
DTEND;VALUE=DATE:20240514
SUMMARY:HYPER 2024 — notification
DESCRIPTION:3rd Workshop on Hyperproperties: Advances in Theory and Applica
 tions\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 Montréal\, Qu
 ébec\, Canada.\nConference dates: 23 Jul 2024.\nhttps://www.conferences-c
 omputer.science/hyper/2024/
URL:https://www.conferences-computer.science/hyper/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2025-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250530
DTEND;VALUE=DATE:20250531
SUMMARY:HYPER 2025 — abstract deadline
DESCRIPTION:4th Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nDeadline stated in AoE.\nShown as an all-day event: the deadline is
  a moment\, not a day\, so check the exact time on the conference site.\nH
 eld in Zagreb\, Croatia.\nConference dates: 21 Jul 2025.\nhttps://www.conf
 erences-computer.science/hyper/2025/
URL:https://www.conferences-computer.science/hyper/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2025-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250530
DTEND;VALUE=DATE:20250531
SUMMARY:HYPER 2025 — paper deadline
DESCRIPTION:4th Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nDeadline stated in AoE.\nShown as an all-day event: the deadline is
  a moment\, not a day\, so check the exact time on the conference site.\nH
 eld in Zagreb\, Croatia.\nConference dates: 21 Jul 2025.\nhttps://www.conf
 erences-computer.science/hyper/2025/
URL:https://www.conferences-computer.science/hyper/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240723
DTEND;VALUE=DATE:20240724
SUMMARY:HYPER 2024 — Montréal\, Québec\, Canada
DESCRIPTION:3rd Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nHeld in Montréal\, Québec\, Canada.\nPaper deadline was 25 April 
 2024.\nhttps://www.conferences-computer.science/hyper/2024/
URL:https://www.conferences-computer.science/hyper/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,HYPER
END:VEVENT
BEGIN:VEVENT
UID:hyper-2025-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20250721
DTEND;VALUE=DATE:20250722
SUMMARY:HYPER 2025 — Zagreb\, Croatia
DESCRIPTION:4th Workshop on Hyperproperties: Advances in Theory and Applica
 tions\nHeld in Zagreb\, Croatia.\nPaper deadline was 30 May 2025.\nhttps:/
 /www.conferences-computer.science/hyper/2025/
URL:https://www.conferences-computer.science/hyper/2025/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,HYPER
END:VEVENT
END:VCALENDAR