{
 "generated": "2026-08-13T08:58:19.512649+00:00",
 "source": "https://www.conferences-computer.science/cfv/",
 "licence": "CC BY-SA 4.0",
 "acronym": "CFV",
 "name": "International Workshop on Constraints in Formal Verification",
 "count": 2,
 "editions": [
  {
   "slug": "cfv",
   "acronym": "CFV",
   "year": "2013",
   "edition": 8,
   "title": "Eighth International Workshop on Constraints in Formal Verification",
   "url": "http://www.miroslav-velev.com/cfv13.html",
   "page": "https://www.conferences-computer.science/cfv/2013/",
   "status": null,
   "abstract_deadline": "2013-09-30",
   "paper_deadline": "2013-10-07",
   "paper_deadline_announced": "2013-10-07",
   "paper_extended_days": 0,
   "notification": "2013-10-15",
   "timezone": null,
   "event_start": "2013-11-21",
   "event_end": null,
   "city": "San Jose, California, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.3382,
   "lon": -121.8863,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (regular) / 4 pages (short: industrial experience)",
   "dblp": null
  },
  {
   "slug": "cfv",
   "acronym": "CFV",
   "year": "2015",
   "edition": 9,
   "title": "9th International Workshop on Constraints in Formal Verification",
   "url": "http://web.engr.oregonstate.edu/~alex/cfv15.html",
   "page": "https://www.conferences-computer.science/cfv/2015/",
   "status": null,
   "abstract_deadline": "2015-07-18",
   "paper_deadline": "2015-07-25",
   "paper_deadline_announced": "2015-07-25",
   "paper_extended_days": 0,
   "notification": "2015-09-01",
   "timezone": null,
   "event_start": "2015-11-05",
   "event_end": null,
   "city": "Austin, Texas, USA",
   "country": "US",
   "continent": "NA",
   "lat": 30.2672,
   "lon": -97.7431,
   "online": false,
   "publisher": "?",
   "license": null,
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "6 pages IEEE (regular) / 4 pages (short: industrial experience)",
   "dblp": null
  }
 ]
}