{
 "generated": "2026-08-13T11:47:39.210474+00:00",
 "source": "https://www.conferences-computer.science/acv/",
 "licence": "CC BY-SA 4.0",
 "acronym": "ACV",
 "name": "First Workshop on Abstract and Concrete Techniques in Verification",
 "count": 1,
 "editions": [
  {
   "slug": "acv",
   "acronym": "ACV",
   "year": "2026",
   "edition": 1,
   "title": "First Workshop on Abstract and Concrete Techniques in Verification",
   "url": "https://acv-ws.github.io/2026/",
   "page": "https://www.conferences-computer.science/acv/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-05-20",
   "paper_deadline_announced": "2026-05-06",
   "paper_extended_days": 14,
   "notification": "2026-05-31",
   "timezone": null,
   "event_start": "2026-07-24",
   "event_end": "2026-07-25",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "informal",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "1-2 pages",
   "dblp": null
  }
 ]
}