{
 "generated": "2026-08-13T11:47:39.334183+00:00",
 "source": "https://www.conferences-computer.science/hyper/",
 "licence": "CC BY-SA 4.0",
 "acronym": "HYPER",
 "name": "Workshop on Hyperproperties: Advances in Theory and Applications",
 "count": 2,
 "editions": [
  {
   "slug": "hyper",
   "acronym": "HYPER",
   "year": "2024",
   "edition": 3,
   "title": "3rd Workshop on Hyperproperties: Advances in Theory and Applications",
   "url": "https://hyperworkshop24.cispa.io/",
   "page": "https://www.conferences-computer.science/hyper/2024/",
   "status": null,
   "abstract_deadline": "2024-04-25",
   "paper_deadline": "2024-04-25",
   "paper_deadline_announced": "2024-04-25",
   "paper_extended_days": 0,
   "notification": "2024-05-13",
   "timezone": "AoE",
   "event_start": "2024-07-23",
   "event_end": null,
   "city": "Montréal, Québec, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 45.5019,
   "lon": -73.5674,
   "online": false,
   "publisher": "informal",
   "license": "free-copy",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3 pages LNCS + references",
   "dblp": null
  },
  {
   "slug": "hyper",
   "acronym": "HYPER",
   "year": "2025",
   "edition": 4,
   "title": "4th Workshop on Hyperproperties: Advances in Theory and Applications",
   "url": "https://hyperworkshop25.cispa.io/",
   "page": "https://www.conferences-computer.science/hyper/2025/",
   "status": null,
   "abstract_deadline": "2025-05-30",
   "paper_deadline": "2025-05-30",
   "paper_deadline_announced": "2025-05-30",
   "paper_extended_days": 0,
   "notification": null,
   "timezone": "AoE",
   "event_start": "2025-07-21",
   "event_end": null,
   "city": "Zagreb, Croatia",
   "country": "HR",
   "continent": "EU",
   "lat": 45.815,
   "lon": 15.9819,
   "online": false,
   "publisher": "informal",
   "license": "free-copy",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "3 pages LNCS + references",
   "dblp": null
  }
 ]
}