{
 "generated": "2026-08-14T15:02:14.616417+00:00",
 "source": "https://www.conferences-computer.science/atva/",
 "licence": "CC BY-SA 4.0",
 "acronym": "ATVA",
 "name": "International Symposium on Automated Technology for Verification and Analysis",
 "count": 15,
 "editions": [
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2008",
   "edition": null,
   "title": "International Symposium on Automated Technology for Verification and Analysis",
   "url": null,
   "page": "https://www.conferences-computer.science/atva/2008/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 32.0,
   "format": null,
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2011",
   "edition": null,
   "title": "International Symposium on Automated Technology for Verification and Analysis",
   "url": null,
   "page": "https://www.conferences-computer.science/atva/2011/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 48.0,
   "format": null,
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2014",
   "edition": null,
   "title": "International Symposium on Automated Technology for Verification and Analysis",
   "url": null,
   "page": "https://www.conferences-computer.science/atva/2014/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": null,
   "paper_deadline_announced": null,
   "paper_extended_days": null,
   "notification": null,
   "timezone": null,
   "event_start": null,
   "event_end": null,
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": false,
   "publisher": null,
   "license": null,
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 38.0,
   "format": null,
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2015",
   "edition": 13,
   "title": "International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://atva2015.ios.ac.cn/",
   "page": "https://www.conferences-computer.science/atva/2015/",
   "status": null,
   "abstract_deadline": "2015-04-29",
   "paper_deadline": "2015-05-02",
   "paper_deadline_announced": "2015-05-02",
   "paper_extended_days": 0,
   "notification": "2015-06-15",
   "timezone": null,
   "event_start": "2015-10-12",
   "event_end": "2015-10-15",
   "city": "Shanghai, China",
   "country": "CN",
   "continent": "AS",
   "lat": 31.2304,
   "lon": 121.4737,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages in Springer’s LNCS format (regular) / 5 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2016",
   "edition": 14,
   "title": "14th International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://atva2016.gforge.inria.fr/",
   "page": "https://www.conferences-computer.science/atva/2016/",
   "status": null,
   "abstract_deadline": "2016-05-07",
   "paper_deadline": "2016-05-13",
   "paper_deadline_announced": "2016-04-26",
   "paper_extended_days": 17,
   "notification": "2016-06-13",
   "timezone": null,
   "event_start": "2016-10-17",
   "event_end": "2016-10-19",
   "city": "Chiba, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6074,
   "lon": 140.1065,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages in Springer’s LNCS format (regular) / 5 + references (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2017",
   "edition": 15,
   "title": "15th International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://www.iarcs.org.in/atva2017/",
   "page": "https://www.conferences-computer.science/atva/2017/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2017-04-28",
   "paper_deadline_announced": "2017-04-21",
   "paper_extended_days": 7,
   "notification": "2017-06-15",
   "timezone": null,
   "event_start": "2017-10-04",
   "event_end": "2017-10-06",
   "city": "Pune, India",
   "country": "IN",
   "continent": "AS",
   "lat": 18.5204,
   "lon": 73.8567,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 37.0,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2018",
   "edition": 16,
   "title": "16th International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://atva-conference.org/",
   "page": "https://www.conferences-computer.science/atva/2018/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2018-05-11",
   "paper_deadline_announced": "2018-05-04",
   "paper_extended_days": 7,
   "notification": "2018-06-27",
   "timezone": null,
   "event_start": "2018-10-07",
   "event_end": "2018-10-10",
   "city": "Los Angeles, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 40.0,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2019",
   "edition": 17,
   "title": "17th International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://atva2019.iis.sinica.edu.tw/",
   "page": "https://www.conferences-computer.science/atva/2019/",
   "status": null,
   "abstract_deadline": "2019-04-26",
   "paper_deadline": "2019-05-03",
   "paper_deadline_announced": "2019-05-03",
   "paper_extended_days": 0,
   "notification": "2019-06-16",
   "timezone": null,
   "event_start": "2019-10-28",
   "event_end": "2019-10-31",
   "city": "Taipei, Taiwan",
   "country": "TW",
   "continent": "AS",
   "lat": 25.033,
   "lon": 121.5654,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 42.0,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2020",
   "edition": 18,
   "title": "18th International Symposium on Automated Technology for Verification and Analysis",
   "url": "http://fit.uet.vnu.edu.vn/atva2020/",
   "page": "https://www.conferences-computer.science/atva/2020/",
   "status": null,
   "abstract_deadline": "2020-05-06",
   "paper_deadline": "2020-05-12",
   "paper_deadline_announced": "2020-05-03",
   "paper_extended_days": 9,
   "notification": "2020-06-05",
   "timezone": null,
   "event_start": "2020-10-19",
   "event_end": "2020-10-23",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2021",
   "edition": 19,
   "title": "19th International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://formal-analysis.com/atva/2021/",
   "page": "https://www.conferences-computer.science/atva/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-04-23",
   "paper_deadline_announced": "2021-04-09",
   "paper_extended_days": 14,
   "notification": "2021-06-04",
   "timezone": "AoE",
   "event_start": "2021-10-18",
   "event_end": "2021-10-22",
   "city": "Gold Coast, Australia",
   "country": "AU",
   "continent": "OC",
   "lat": -28.0167,
   "lon": 153.4,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 31.0,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2022",
   "edition": 20,
   "title": "20th International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://atva-conference.org/2022/",
   "page": "https://www.conferences-computer.science/atva/2022/",
   "status": null,
   "abstract_deadline": "2022-05-01",
   "paper_deadline": "2022-05-08",
   "paper_deadline_announced": "2022-05-08",
   "paper_extended_days": 0,
   "notification": "2022-06-24",
   "timezone": "AoE",
   "event_start": "2022-10-25",
   "event_end": "2022-10-28",
   "city": "Beijing, China (hybrid)",
   "country": "CN",
   "continent": "AS",
   "lat": 39.9042,
   "lon": 116.4074,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": 31.0,
   "format": "16 pages in Springer’s LNCS format (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2023",
   "edition": 21,
   "title": "21st International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://atva-conference.org/2023/",
   "page": "https://www.conferences-computer.science/atva/2023/",
   "status": null,
   "abstract_deadline": "2023-05-11",
   "paper_deadline": "2023-05-11",
   "paper_deadline_announced": "2023-05-04",
   "paper_extended_days": 7,
   "notification": "2023-06-30",
   "timezone": "AoE",
   "event_start": "2023-10-24",
   "event_end": "2023-10-27",
   "city": "Singapore",
   "country": "SG",
   "continent": "AS",
   "lat": 1.3521,
   "lon": 103.8198,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": "10.1007/978-3-031-45329-8; 10.1007/978-3-031-45332-8",
   "core_rank": "B",
   "submitted": 115,
   "accepted": 37,
   "acceptance_rate": 32.2,
   "format": "18 pages LNCS + references (regular) / 6 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2024",
   "edition": 22,
   "title": "22nd International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://atva-conference.org/2024/",
   "page": "https://www.conferences-computer.science/atva/2024/",
   "status": null,
   "abstract_deadline": "2024-04-19",
   "paper_deadline": "2024-04-25",
   "paper_deadline_announced": "2024-04-19",
   "paper_extended_days": 6,
   "notification": "2024-06-26",
   "timezone": "AoE",
   "event_start": "2024-10-21",
   "event_end": "2024-10-24",
   "city": "Kyoto, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.0116,
   "lon": 135.7681,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 73,
   "accepted": 24,
   "acceptance_rate": 32.9,
   "format": "18 pages LNCS + references (regular) / 10 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2025",
   "edition": 23,
   "title": "23rd International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://conf.researchr.org/home/atva-2025",
   "page": "https://www.conferences-computer.science/atva/2025/",
   "status": null,
   "abstract_deadline": "2025-04-25",
   "paper_deadline": "2025-04-25",
   "paper_deadline_announced": "2025-04-18",
   "paper_extended_days": 7,
   "notification": "2025-07-04",
   "timezone": "AoE",
   "event_start": "2025-10-27",
   "event_end": "2025-10-30",
   "city": "Bangalore, India",
   "country": "IN",
   "continent": "AS",
   "lat": 12.9716,
   "lon": 77.5946,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": "10.1007/978-3-032-08707-2",
   "core_rank": "B",
   "submitted": 59,
   "accepted": 21,
   "acceptance_rate": 35.6,
   "format": "18 pages LNCS + references (regular) / 10 (tool)",
   "dblp": "atva"
  },
  {
   "slug": "atva",
   "acronym": "ATVA",
   "year": "2026",
   "edition": 24,
   "title": "24th International Symposium on Automated Technology for Verification and Analysis",
   "url": "https://conf.researchr.org/track/aplas-atva-2026/atva-2026",
   "page": "https://www.conferences-computer.science/atva/2026/",
   "status": null,
   "abstract_deadline": "2026-05-19",
   "paper_deadline": "2026-05-21",
   "paper_deadline_announced": "2026-05-21",
   "paper_extended_days": 0,
   "notification": "2026-07-23",
   "timezone": "AoE",
   "event_start": "2026-12-01",
   "event_end": "2026-12-05",
   "city": "Hong Kong, China",
   "country": "HK",
   "continent": "AS",
   "lat": 22.3193,
   "lon": 114.1694,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "18 pages LNCS + references (regular) / 10 (tool)",
   "dblp": "atva"
  }
 ]
}