{
 "generated": "2026-08-13T11:47:39.333711+00:00",
 "source": "https://www.conferences-computer.science/hvc/",
 "licence": "CC BY-SA 4.0",
 "acronym": "HVC",
 "name": "Haifa Verification Conference",
 "count": 3,
 "editions": [
  {
   "slug": "hvc",
   "acronym": "HVC",
   "year": "2015",
   "edition": 11,
   "title": "11th Haifa Verification Conference",
   "url": "http://www.research.ibm.com/haifa/conferences/hvc2015/index.shtml",
   "page": "https://www.conferences-computer.science/hvc/2015/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2015-07-24",
   "paper_deadline_announced": "2015-07-24",
   "paper_extended_days": 0,
   "notification": "2015-09-04",
   "timezone": "GMT",
   "event_start": "2015-11-17",
   "event_end": "2015-11-19",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (regular) / 6 pages (tool / experience)",
   "dblp": null
  },
  {
   "slug": "hvc",
   "acronym": "HVC",
   "year": "2016",
   "edition": 12,
   "title": "12th Haifa Verification Conference",
   "url": "https://www.research.ibm.com/haifa/conferences/hvc2016",
   "page": "https://www.conferences-computer.science/hvc/2016/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2016-07-21",
   "paper_deadline_announced": "2016-07-14",
   "paper_extended_days": 7,
   "notification": "2016-09-05",
   "timezone": "GMT",
   "event_start": "2016-11-14",
   "event_end": "2016-11-17",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (regular) / 6 pages (tool / experience)",
   "dblp": null
  },
  {
   "slug": "hvc",
   "acronym": "HVC",
   "year": "2017",
   "edition": 13,
   "title": "13th Haifa Verification Conference",
   "url": "https://www.research.ibm.com/haifa/conferences/hvc2017",
   "page": "https://www.conferences-computer.science/hvc/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-07-28",
   "paper_deadline_announced": "2017-07-21",
   "paper_extended_days": 7,
   "notification": "2017-09-01",
   "timezone": "GMT",
   "event_start": "2017-11-13",
   "event_end": "2017-11-15",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (regular) / 6 pages (tool / experience)",
   "dblp": null
  }
 ]
}