BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:ATVA — deadlines and dates X-WR-CALDESC:Every recorded edition of ATVA. https://www.conferences-comput er.science/atva/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:atva-2015-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150429 DTEND;VALUE=DATE:20150430 SUMMARY:ATVA 2015 — abstract deadline DESCRIPTION:International Symposium on Automated Technology for Verificatio n and Analysis\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Shang hai\, China.\nConference dates: 12–15 Oct 2015.\nhttps://www.conferences -computer.science/atva/2015/ URL:https://www.conferences-computer.science/atva/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2015-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150502 DTEND;VALUE=DATE:20150503 SUMMARY:ATVA 2015 — paper deadline DESCRIPTION:International Symposium on Automated Technology for Verificatio n and Analysis\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Shang hai\, China.\nConference dates: 12–15 Oct 2015.\nhttps://www.conferences -computer.science/atva/2015/ URL:https://www.conferences-computer.science/atva/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2015-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20150615 DTEND;VALUE=DATE:20150616 SUMMARY:ATVA 2015 — notification DESCRIPTION:International Symposium on Automated Technology for Verificatio n and Analysis\nNo time zone stated by the organisers\; this site assumes Anywhere on Earth.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the conference site.\nHeld in Shang hai\, China.\nConference dates: 12–15 Oct 2015.\nhttps://www.conferences -computer.science/atva/2015/ URL:https://www.conferences-computer.science/atva/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2016-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160507 DTEND;VALUE=DATE:20160508 SUMMARY:ATVA 2016 — abstract deadline DESCRIPTION:14th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 23 April 2016.\nHeld in Chiba\, Japan.\nConference dates: 17–19 Oc t 2016.\nhttps://www.conferences-computer.science/atva/2016/ URL:https://www.conferences-computer.science/atva/2016/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2016-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160513 DTEND;VALUE=DATE:20160514 SUMMARY:ATVA 2016 — paper deadline DESCRIPTION:14th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 26 April 2016.\nHeld in Chiba\, Japan.\nConference dates: 17–19 Oc t 2016.\nhttps://www.conferences-computer.science/atva/2016/ URL:https://www.conferences-computer.science/atva/2016/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2016-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20160613 DTEND;VALUE=DATE:20160614 SUMMARY:ATVA 2016 — notification DESCRIPTION:14th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 06 June 2016.\nHeld in Chiba\, Japan.\nConference dates: 17–19 Oct 2016.\nhttps://www.conferences-computer.science/atva/2016/ URL:https://www.conferences-computer.science/atva/2016/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2017-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170428 DTEND;VALUE=DATE:20170429 SUMMARY:ATVA 2017 — paper deadline DESCRIPTION:15th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 21 April 2017.\nHeld in Pune\, India.\nConference dates: 4–6 Oct 2 017.\nhttps://www.conferences-computer.science/atva/2017/ URL:https://www.conferences-computer.science/atva/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2017-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170615 DTEND;VALUE=DATE:20170616 SUMMARY:ATVA 2017 — notification DESCRIPTION:15th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Pune\, India.\nConference dates: 4–6 Oct 2017.\nhttps://www.conferences- computer.science/atva/2017/ URL:https://www.conferences-computer.science/atva/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2018-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180511 DTEND;VALUE=DATE:20180512 SUMMARY:ATVA 2018 — paper deadline DESCRIPTION:16th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 04 May 2018.\nHeld in Los Angeles\, USA.\nConference dates: 7–10 O ct 2018.\nhttps://www.conferences-computer.science/atva/2018/ URL:https://www.conferences-computer.science/atva/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2018-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180627 DTEND;VALUE=DATE:20180628 SUMMARY:ATVA 2018 — notification DESCRIPTION:16th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 23 June 2018.\nHeld in Los Angeles\, USA.\nConference dates: 7–10 Oct 2018.\nhttps://www.conferences-computer.science/atva/2018/ URL:https://www.conferences-computer.science/atva/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190426 DTEND;VALUE=DATE:20190427 SUMMARY:ATVA 2019 — abstract deadline DESCRIPTION:17th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Taipei\, Taiwan.\nConference dates: 28–31 Oct 2019.\nhttps://www.confere nces-computer.science/atva/2019/ URL:https://www.conferences-computer.science/atva/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190503 DTEND;VALUE=DATE:20190504 SUMMARY:ATVA 2019 — paper deadline DESCRIPTION:17th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Taipei\, Taiwan.\nConference dates: 28–31 Oct 2019.\nhttps://www.confere nces-computer.science/atva/2019/ URL:https://www.conferences-computer.science/atva/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190616 DTEND;VALUE=DATE:20190617 SUMMARY:ATVA 2019 — notification DESCRIPTION:17th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Taipei\, Taiwan.\nConference dates: 28–31 Oct 2019.\nhttps://www.confere nces-computer.science/atva/2019/ URL:https://www.conferences-computer.science/atva/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2020-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200506 DTEND;VALUE=DATE:20200507 SUMMARY:ATVA 2020 — abstract deadline DESCRIPTION:18th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 26 April 2020.\nHeld in Online.\nConference dates: 19–23 Oct 2020. \nhttps://www.conferences-computer.science/atva/2020/ URL:https://www.conferences-computer.science/atva/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2020-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200512 DTEND;VALUE=DATE:20200513 SUMMARY:ATVA 2020 — paper deadline DESCRIPTION:18th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 03 May 2020.\nHeld in Online.\nConference dates: 19–23 Oct 2020.\n https://www.conferences-computer.science/atva/2020/ URL:https://www.conferences-computer.science/atva/2020/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2020-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20200605 DTEND;VALUE=DATE:20200606 SUMMARY:ATVA 2020 — notification DESCRIPTION:18th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Online.\nConference dates: 19–23 Oct 2020.\nhttps://www.conferences-comp uter.science/atva/2020/ URL:https://www.conferences-computer.science/atva/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2021-paper@conferences-computer.science DTSTAMP:20260814T150214Z DTSTART;VALUE=DATE:20210423 DTEND;VALUE=DATE:20210424 SUMMARY:ATVA 2021 — paper deadline DESCRIPTION:19th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 09 April 2021.\nHeld in Online.\nConference dat es: 18–22 Oct 2021.\nhttps://www.conferences-computer.science/atva/2021/ URL:https://www.conferences-computer.science/atva/2021/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2021-notification@conferences-computer.science DTSTAMP:20260814T150214Z DTSTART;VALUE=DATE:20210604 DTEND;VALUE=DATE:20210605 SUMMARY:ATVA 2021 — notification DESCRIPTION:19th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Online.\nConference dates: 18–22 Oct 2021.\nhttps://www.conferences-comp uter.science/atva/2021/ URL:https://www.conferences-computer.science/atva/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220501 DTEND;VALUE=DATE:20220502 SUMMARY:ATVA 2022 — abstract deadline DESCRIPTION:20th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Beijing\, China (hybrid).\nConference dates: 25–28 Oct 2022.\nhttps://www.conferences-computer.science/atva/2022/ URL:https://www.conferences-computer.science/atva/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220508 DTEND;VALUE=DATE:20220509 SUMMARY:ATVA 2022 — paper deadline DESCRIPTION:20th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Beijing\, China (hybrid).\nConference dates: 25–28 Oct 2022.\nhttps://www.conferences-computer.science/atva/2022/ URL:https://www.conferences-computer.science/atva/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220624 DTEND;VALUE=DATE:20220625 SUMMARY:ATVA 2022 — notification DESCRIPTION:20th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Beijing\, China (hybrid).\nConference dates: 25–28 Oct 2022.\nhttps://ww w.conferences-computer.science/atva/2022/ URL:https://www.conferences-computer.science/atva/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2023-abstract@conferences-computer.science DTSTAMP:20260813T150125Z DTSTART;VALUE=DATE:20230511 DTEND;VALUE=DATE:20230512 SUMMARY:ATVA 2023 — abstract deadline DESCRIPTION:21st International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 27 April 2023.\nHeld in Singapore.\nConference dates: 24–27 Oct 2023.\nhttps://www.conferences-computer.science/atva/20 23/ URL:https://www.conferences-computer.science/atva/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2023-paper@conferences-computer.science DTSTAMP:20260813T150125Z DTSTART;VALUE=DATE:20230511 DTEND;VALUE=DATE:20230512 SUMMARY:ATVA 2023 — paper deadline DESCRIPTION:21st International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 04 May 2023.\nHeld in Singapore.\nConference da tes: 24–27 Oct 2023.\nhttps://www.conferences-computer.science/atva/2023 / URL:https://www.conferences-computer.science/atva/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2023-notification@conferences-computer.science DTSTAMP:20260813T150125Z DTSTART;VALUE=DATE:20230630 DTEND;VALUE=DATE:20230701 SUMMARY:ATVA 2023 — notification DESCRIPTION:21st International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Singapore.\nConference dates: 24–27 Oct 2023.\nhttps://www.conferences-c omputer.science/atva/2023/ URL:https://www.conferences-computer.science/atva/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2024-abstract@conferences-computer.science DTSTAMP:20260813T145839Z DTSTART;VALUE=DATE:20240419 DTEND;VALUE=DATE:20240420 SUMMARY:ATVA 2024 — abstract deadline DESCRIPTION:22nd International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Kyoto\, Japan.\nConference dates: 21–24 Oct 2024.\n https://www.conferences-computer.science/atva/2024/ URL:https://www.conferences-computer.science/atva/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2024-paper@conferences-computer.science DTSTAMP:20260813T145839Z DTSTART;VALUE=DATE:20240425 DTEND;VALUE=DATE:20240426 SUMMARY:ATVA 2024 — paper deadline DESCRIPTION:22nd International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 19 April 2024.\nHeld in Kyoto\, Japan.\nConfere nce dates: 21–24 Oct 2024.\nhttps://www.conferences-computer.science/atv a/2024/ URL:https://www.conferences-computer.science/atva/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2024-notification@conferences-computer.science DTSTAMP:20260813T145839Z DTSTART;VALUE=DATE:20240626 DTEND;VALUE=DATE:20240627 SUMMARY:ATVA 2024 — notification DESCRIPTION:22nd International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 19 June 2024.\nHeld in Kyoto\, Japan.\nConference dates: 21–24 Oct 2024.\nhttps://www.conferences-computer.science/atva/2024/ URL:https://www.conferences-computer.science/atva/2024/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2025-abstract@conferences-computer.science DTSTAMP:20260813T150046Z DTSTART;VALUE=DATE:20250425 DTEND;VALUE=DATE:20250426 SUMMARY:ATVA 2025 — abstract deadline DESCRIPTION:23rd International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 11 April 2025.\nHeld in Bangalore\, India.\nCon ference dates: 27–30 Oct 2025.\nhttps://www.conferences-computer.science /atva/2025/ URL:https://www.conferences-computer.science/atva/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2025-paper@conferences-computer.science DTSTAMP:20260813T150046Z DTSTART;VALUE=DATE:20250425 DTEND;VALUE=DATE:20250426 SUMMARY:ATVA 2025 — paper deadline DESCRIPTION:23rd International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nExtended from 18 April 2025.\nHeld in Bangalore\, India.\nCon ference dates: 27–30 Oct 2025.\nhttps://www.conferences-computer.science /atva/2025/ URL:https://www.conferences-computer.science/atva/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2025-notification@conferences-computer.science DTSTAMP:20260813T150046Z DTSTART;VALUE=DATE:20250704 DTEND;VALUE=DATE:20250705 SUMMARY:ATVA 2025 — notification DESCRIPTION:23rd International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nExtended from 25 June 2025.\nHeld in Bangalore\, India.\nConference dates: 27–30 Oct 2025.\nhttps://www.conferences-computer.science/atva/2025/ URL:https://www.conferences-computer.science/atva/2025/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-abstract@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260519 DTEND;VALUE=DATE:20260520 SUMMARY:ATVA 2026 — abstract deadline DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026. \nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-paper@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260521 DTEND;VALUE=DATE:20260522 SUMMARY:ATVA 2026 — paper deadline DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nDeadline stated in AoE.\nShown as an all-day event: t he deadline is a moment\, not a day\, so check the exact time on the confe rence site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026. \nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-notification@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20260723 DTEND;VALUE=DATE:20260724 SUMMARY:ATVA 2026 — notification DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nNo time zone stated by the organisers\; this site ass umes Anywhere on Earth.\nShown as an all-day event: the deadline is a mome nt\, not a day\, so check the exact time on the conference site.\nHeld in Hong Kong\, China.\nConference dates: 1–5 Dec 2026.\nhttps://www.confere nces-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2015-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20151012 DTEND;VALUE=DATE:20151016 SUMMARY:ATVA 2015 — Shanghai\, China DESCRIPTION:International Symposium on Automated Technology for Verificatio n and Analysis\nHeld in Shanghai\, China.\nPaper deadline was 02 May 2015. \nhttps://www.conferences-computer.science/atva/2015/ URL:https://www.conferences-computer.science/atva/2015/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2016-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20161017 DTEND;VALUE=DATE:20161020 SUMMARY:ATVA 2016 — Chiba\, Japan DESCRIPTION:14th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Chiba\, Japan.\nPaper deadline was 13 May 201 6.\nhttps://www.conferences-computer.science/atva/2016/ URL:https://www.conferences-computer.science/atva/2016/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2017-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20171004 DTEND;VALUE=DATE:20171007 SUMMARY:ATVA 2017 — Pune\, India DESCRIPTION:15th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Pune\, India.\nPaper deadline was 28 April 20 17.\nhttps://www.conferences-computer.science/atva/2017/ URL:https://www.conferences-computer.science/atva/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2018-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20181007 DTEND;VALUE=DATE:20181011 SUMMARY:ATVA 2018 — Los Angeles\, USA DESCRIPTION:16th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Los Angeles\, USA.\nPaper deadline was 11 May 2018.\nhttps://www.conferences-computer.science/atva/2018/ URL:https://www.conferences-computer.science/atva/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20191028 DTEND;VALUE=DATE:20191101 SUMMARY:ATVA 2019 — Taipei\, Taiwan DESCRIPTION:17th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Taipei\, Taiwan.\nPaper deadline was 03 May 2 019.\nhttps://www.conferences-computer.science/atva/2019/ URL:https://www.conferences-computer.science/atva/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2020-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20201019 DTEND;VALUE=DATE:20201024 SUMMARY:ATVA 2020 — Online DESCRIPTION:18th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Online.\nPaper deadline was 12 May 2020.\nhtt ps://www.conferences-computer.science/atva/2020/ URL:https://www.conferences-computer.science/atva/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2021-event@conferences-computer.science DTSTAMP:20260814T150214Z DTSTART;VALUE=DATE:20211018 DTEND;VALUE=DATE:20211023 SUMMARY:ATVA 2021 — Online DESCRIPTION:19th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Online.\nPaper deadline was 23 April 2021.\nh ttps://www.conferences-computer.science/atva/2021/ URL:https://www.conferences-computer.science/atva/2021/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20221025 DTEND;VALUE=DATE:20221029 SUMMARY:ATVA 2022 — Beijing\, China (hybrid) DESCRIPTION:20th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Beijing\, China (hybrid).\nPaper deadline was 08 May 2022.\nhttps://www.conferences-computer.science/atva/2022/ URL:https://www.conferences-computer.science/atva/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2023-event@conferences-computer.science DTSTAMP:20260813T150125Z DTSTART;VALUE=DATE:20231024 DTEND;VALUE=DATE:20231028 SUMMARY:ATVA 2023 — Singapore DESCRIPTION:21st International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Singapore.\nPaper deadline was 11 May 2023.\n https://www.conferences-computer.science/atva/2023/ URL:https://www.conferences-computer.science/atva/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2024-event@conferences-computer.science DTSTAMP:20260813T145839Z DTSTART;VALUE=DATE:20241021 DTEND;VALUE=DATE:20241025 SUMMARY:ATVA 2024 — Kyoto\, Japan DESCRIPTION:22nd International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Kyoto\, Japan.\nPaper deadline was 25 April 2 024.\nhttps://www.conferences-computer.science/atva/2024/ URL:https://www.conferences-computer.science/atva/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2025-event@conferences-computer.science DTSTAMP:20260813T150046Z DTSTART;VALUE=DATE:20251027 DTEND;VALUE=DATE:20251031 SUMMARY:ATVA 2025 — Bangalore\, India DESCRIPTION:23rd International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Bangalore\, India.\nPaper deadline was 25 Apr il 2025.\nhttps://www.conferences-computer.science/atva/2025/ URL:https://www.conferences-computer.science/atva/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT BEGIN:VEVENT UID:atva-2026-event@conferences-computer.science DTSTAMP:20260813T145827Z DTSTART;VALUE=DATE:20261201 DTEND;VALUE=DATE:20261206 SUMMARY:ATVA 2026 — Hong Kong\, China DESCRIPTION:24th International Symposium on Automated Technology for Verifi cation and Analysis\nHeld in Hong Kong\, China.\nPaper deadline was 21 May 2026.\nhttps://www.conferences-computer.science/atva/2026/ URL:https://www.conferences-computer.science/atva/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,ATVA END:VEVENT END:VCALENDAR