{
 "generated": "2026-08-13T11:47:39.329408+00:00",
 "source": "https://www.conferences-computer.science/hcvs/",
 "licence": "CC BY-SA 4.0",
 "acronym": "HCVS",
 "name": "Workshop on Horn Clauses for Verification and Synthesis",
 "count": 9,
 "editions": [
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2015",
   "edition": 2,
   "title": "Horn Clauses for Verification and Synthesis",
   "url": null,
   "page": "https://www.conferences-computer.science/hcvs/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-05-22",
   "paper_deadline_announced": "2015-05-22",
   "paper_extended_days": 0,
   "notification": "2015-06-19",
   "timezone": null,
   "event_start": "2015-07-19",
   "event_end": null,
   "city": "San Francisco, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.7749,
   "lon": -122.4194,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2016",
   "edition": 3,
   "title": "3rd Workshop on Horn Clauses for Verification and Synthesis",
   "url": "http://hcvs2016.it.uu.se/",
   "page": "https://www.conferences-computer.science/hcvs/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-02-05",
   "paper_deadline_announced": "2016-02-01",
   "paper_extended_days": 4,
   "notification": "2016-02-27",
   "timezone": null,
   "event_start": "2016-04-03",
   "event_end": null,
   "city": "Eindhoven, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 51.4416,
   "lon": 5.4697,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2017",
   "edition": 4,
   "title": "4th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "http://software.imdea.org/Conferences/hcvs17",
   "page": "https://www.conferences-computer.science/hcvs/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-06-18",
   "paper_deadline_announced": "2017-06-11",
   "paper_extended_days": 7,
   "notification": "2017-07-03",
   "timezone": null,
   "event_start": "2017-08-07",
   "event_end": null,
   "city": "Gothenburg, Sweden",
   "country": "SE",
   "continent": "EU",
   "lat": 57.7089,
   "lon": 11.9746,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2018",
   "edition": 5,
   "title": "5th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs18/",
   "page": "https://www.conferences-computer.science/hcvs/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-04-15",
   "paper_deadline_announced": "2018-04-15",
   "paper_extended_days": 0,
   "notification": "2018-05-15",
   "timezone": null,
   "event_start": "2018-07-13",
   "event_end": null,
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2020",
   "edition": 7,
   "title": "7th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs20/",
   "page": "https://www.conferences-computer.science/hcvs/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-02-26",
   "paper_deadline_announced": "2020-02-26",
   "paper_extended_days": 0,
   "notification": "2020-03-25",
   "timezone": "AoE",
   "event_start": "2020-04-26",
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2021",
   "edition": 8,
   "title": "8th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs21/",
   "page": "https://www.conferences-computer.science/hcvs/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-01-28",
   "paper_deadline_announced": "2021-01-28",
   "paper_extended_days": 0,
   "notification": "2021-02-27",
   "timezone": "AoE",
   "event_start": "2021-03-27",
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 4 pages (tools) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2022",
   "edition": 9,
   "title": "9th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs22/",
   "page": "https://www.conferences-computer.science/hcvs/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-01-31",
   "paper_deadline_announced": "2022-01-31",
   "paper_extended_days": 0,
   "notification": "2022-02-28",
   "timezone": "AoE",
   "event_start": "2022-04-03",
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 4 pages (tools) / 1-3 pages (work in progress)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2024",
   "edition": 11,
   "title": "11th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs24/",
   "page": "https://www.conferences-computer.science/hcvs/2024/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2024-02-02",
   "paper_deadline_announced": "2024-02-02",
   "paper_extended_days": 0,
   "notification": "2024-03-01",
   "timezone": "AoE",
   "event_start": "2024-04-07",
   "event_end": null,
   "city": "Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 4 pages (tools) / 3 pages (extended abstract)",
   "dblp": null
  },
  {
   "slug": "hcvs",
   "acronym": "HCVS",
   "year": "2025",
   "edition": 12,
   "title": "12th Workshop on Horn Clauses for Verification and Synthesis",
   "url": "https://www.sci.unich.it/hcvs25/",
   "page": "https://www.conferences-computer.science/hcvs/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-05-30",
   "paper_deadline_announced": "2025-05-16",
   "paper_extended_days": 14,
   "notification": "2025-06-15",
   "timezone": "AoE",
   "event_start": "2025-07-22",
   "event_end": null,
   "city": "Zagreb, Croatia",
   "country": "HR",
   "continent": "EU",
   "lat": 45.815,
   "lon": 15.9819,
   "online": false,
   "publisher": "EPTCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "12 pages EPTCS + biblio (regular) / 4 pages (tools) / 3 pages (extended abstract)",
   "dblp": null
  }
 ]
}