{
 "generated": "2026-08-13T11:47:39.231219+00:00",
 "source": "https://www.conferences-computer.science/cav/",
 "licence": "CC BY-SA 4.0",
 "acronym": "CAV",
 "name": "International Conference on Computer Aided Verification",
 "count": 12,
 "editions": [
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2015",
   "edition": 27,
   "title": "27th International Conference on Computer Aided Verification",
   "url": "http://cavconference.org/",
   "page": "https://www.conferences-computer.science/cav/2015/",
   "status": null,
   "abstract_deadline": "2015-01-30",
   "paper_deadline": "2015-02-06",
   "paper_deadline_announced": "2015-02-06",
   "paper_extended_days": 0,
   "notification": "2015-04-17",
   "timezone": null,
   "event_start": "2015-07-18",
   "event_end": "2015-07-24",
   "city": "San Francisco, CA, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.7749,
   "lon": -122.4194,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + ref + appendix (regular) / 6 pages LNCS + ref + appendix (short)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2016",
   "edition": 28,
   "title": "28th International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2016/",
   "page": "https://www.conferences-computer.science/cav/2016/",
   "status": null,
   "abstract_deadline": "2016-01-24",
   "paper_deadline": "2016-01-29",
   "paper_deadline_announced": "2016-01-29",
   "paper_extended_days": 0,
   "notification": "2016-04-15",
   "timezone": "EST",
   "event_start": "2016-07-17",
   "event_end": "2016-07-23",
   "city": "Toronto, Ontario, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 43.6532,
   "lon": -79.3832,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + ref + appendix (regular) / 6 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2017",
   "edition": 29,
   "title": "29th International Conference on Computer Aided Verification",
   "url": "http://cavconference.org/2017/",
   "page": "https://www.conferences-computer.science/cav/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-01-24",
   "paper_deadline_announced": "2017-01-24",
   "paper_extended_days": 0,
   "notification": "2017-04-12",
   "timezone": "AoE",
   "event_start": "2017-07-24",
   "event_end": "2017-07-28",
   "city": "Heidelberg Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 49.3988,
   "lon": 8.6724,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + ref + appendix (regular) / 6 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2018",
   "edition": 30,
   "title": "30th International Conference on Computer Aided Verification",
   "url": "http://cavconference.org/2018/",
   "page": "https://www.conferences-computer.science/cav/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-01-31",
   "paper_deadline_announced": "2018-01-31",
   "paper_extended_days": 0,
   "notification": "2018-03-31",
   "timezone": "AoE",
   "event_start": "2018-07-14",
   "event_end": "2018-07-17",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + ref + appendix (regular) / 6 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2019",
   "edition": 31,
   "title": "31st International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2019/",
   "page": "https://www.conferences-computer.science/cav/2019/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2019-02-07",
   "paper_deadline_announced": "2019-02-07",
   "paper_extended_days": 0,
   "notification": "2019-04-17",
   "timezone": "AoE",
   "event_start": "2019-07-15",
   "event_end": "2019-07-18",
   "city": "New York City, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.7128,
   "lon": -74.006,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + ref + appendix (regular) / 8 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2020",
   "edition": 32,
   "title": "32nd International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2020/",
   "page": "https://www.conferences-computer.science/cav/2020/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-01-28",
   "paper_deadline_announced": "2020-01-28",
   "paper_extended_days": 0,
   "notification": "2020-04-03",
   "timezone": "AoE",
   "event_start": "2020-07-21",
   "event_end": "2020-07-24",
   "city": "Los Angeles, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "20 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2021",
   "edition": 33,
   "title": "33rd International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2021/",
   "page": "https://www.conferences-computer.science/cav/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-01-28",
   "paper_deadline_announced": "2021-01-28",
   "paper_extended_days": 0,
   "notification": "2021-04-19",
   "timezone": "AoE",
   "event_start": "2021-07-18",
   "event_end": "2021-07-23",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "20 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2022",
   "edition": 34,
   "title": "34th International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2022/",
   "page": "https://www.conferences-computer.science/cav/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-01-21",
   "paper_deadline_announced": "2022-01-21",
   "paper_extended_days": 0,
   "notification": "2022-04-30",
   "timezone": "AoE",
   "event_start": "2022-08-07",
   "event_end": "2022-08-10",
   "city": "Haifa, Israel",
   "country": "IL",
   "continent": "AS",
   "lat": 32.794,
   "lon": 34.9896,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2023",
   "edition": 35,
   "title": "35th International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2023/",
   "page": "https://www.conferences-computer.science/cav/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-02-03",
   "paper_deadline_announced": "2023-02-03",
   "paper_extended_days": 0,
   "notification": "2023-04-21",
   "timezone": "AoE",
   "event_start": "2023-07-17",
   "event_end": "2023-07-22",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2024",
   "edition": 36,
   "title": "36th International Conference on Computer Aided Verification",
   "url": "http://i-cav.org/2024/call-for-papers/",
   "page": "https://www.conferences-computer.science/cav/2024/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2024-01-26",
   "paper_deadline_announced": "2024-01-19",
   "paper_extended_days": 7,
   "notification": "2024-03-26",
   "timezone": "AoE",
   "event_start": "2024-07-24",
   "event_end": "2024-07-27",
   "city": "Montreal, Québec, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 45.5019,
   "lon": -73.5674,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool/industry)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2025",
   "edition": 37,
   "title": "37th International Conference on Computer Aided Verification",
   "url": "https://conferences.i-cav.org/2025/",
   "page": "https://www.conferences-computer.science/cav/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-01-31",
   "paper_deadline_announced": "2025-01-31",
   "paper_extended_days": 0,
   "notification": "2025-04-02",
   "timezone": "AoE",
   "event_start": "2025-07-21",
   "event_end": "2025-07-25",
   "city": "Zagreb, Croatia",
   "country": "HR",
   "continent": "EU",
   "lat": 45.815,
   "lon": 15.9819,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool/industry)",
   "dblp": "cav"
  },
  {
   "slug": "cav",
   "acronym": "CAV",
   "year": "2026",
   "edition": 38,
   "title": "38th International Conference on Computer Aided Verification",
   "url": "https://conferences.i-cav.org/2026/",
   "page": "https://www.conferences-computer.science/cav/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2026-01-28",
   "paper_deadline_announced": "2026-01-28",
   "paper_extended_days": 0,
   "notification": "2026-04-17",
   "timezone": "AoE",
   "event_start": "2026-07-26",
   "event_end": "2026-07-29",
   "city": "Lisbon, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 38.7223,
   "lon": -9.1393,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A*",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (Short Tool Papers/Short Application Papers/Industrial Experience Reports & Case Studies)",
   "dblp": "cav"
  }
 ]
}