BEGIN:VCALENDAR VERSION:2.0 PRODID:-//conferences-computer.science//EN CALSCALE:GREGORIAN METHOD:PUBLISH X-WR-CALNAME:VSTTE — deadlines and dates X-WR-CALDESC:Every recorded edition of VSTTE. https://www.conferences-compu ter.science/vstte/ X-PUBLISHED-TTL:PT12H REFRESH-INTERVAL;VALUE=DURATION:PT12H BEGIN:VEVENT UID:vstte-2017-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170501 DTEND;VALUE=DATE:20170502 SUMMARY:VSTTE 2017 — abstract deadline DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools\, and Experiments (VSTTE)\nNo time zone stated by the organisers\; this sit e 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.\nExt ended from 24 April 2017.\nHeld in Heidelberg\, Germany.\nConference dates : 19 Sep 2017.\nhttps://www.conferences-computer.science/vstte/2017/ URL:https://www.conferences-computer.science/vstte/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2017-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170508 DTEND;VALUE=DATE:20170509 SUMMARY:VSTTE 2017 — paper deadline DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools\, and Experiments (VSTTE)\nNo time zone stated by the organisers\; this sit e 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.\nExt ended from 01 May 2017.\nHeld in Heidelberg\, Germany.\nConference dates: 19 Sep 2017.\nhttps://www.conferences-computer.science/vstte/2017/ URL:https://www.conferences-computer.science/vstte/2017/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2017-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170605 DTEND;VALUE=DATE:20170606 SUMMARY:VSTTE 2017 — notification DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools\, and Experiments (VSTTE)\nNo time zone stated by the organisers\; this sit e 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.\nHel d in Heidelberg\, Germany.\nConference dates: 19 Sep 2017.\nhttps://www.co nferences-computer.science/vstte/2017/ URL:https://www.conferences-computer.science/vstte/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2018-abstract@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180426 DTEND;VALUE=DATE:20180427 SUMMARY:VSTTE 2018 — abstract deadline DESCRIPTION:10th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 15 April 2018.\nHeld in Oxford\, England.\nConference dates: 1 8–19 Jul 2018.\nhttps://www.conferences-computer.science/vstte/2018/ URL:https://www.conferences-computer.science/vstte/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2018-paper@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180429 DTEND;VALUE=DATE:20180430 SUMMARY:VSTTE 2018 — paper deadline DESCRIPTION:10th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 22 April 2018.\nHeld in Oxford\, England.\nConference dates: 1 8–19 Jul 2018.\nhttps://www.conferences-computer.science/vstte/2018/ URL:https://www.conferences-computer.science/vstte/2018/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2018-notification@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180515 DTEND;VALUE=DATE:20180516 SUMMARY:VSTTE 2018 — notification DESCRIPTION:10th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Oxford\, England.\nConference dates: 18–19 Jul 2018.\nhttps://www. conferences-computer.science/vstte/2018/ URL:https://www.conferences-computer.science/vstte/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2019-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190423 DTEND;VALUE=DATE:20190424 SUMMARY:VSTTE 2019 — abstract deadline DESCRIPTION:11th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in New York City\, USA.\nConference dates: 18–19 Jul 2019.\nhttps://w ww.conferences-computer.science/vstte/2019/ URL:https://www.conferences-computer.science/vstte/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2019-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190429 DTEND;VALUE=DATE:20190430 SUMMARY:VSTTE 2019 — paper deadline DESCRIPTION:11th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in New York City\, USA.\nConference dates: 18–19 Jul 2019.\nhttps://w ww.conferences-computer.science/vstte/2019/ URL:https://www.conferences-computer.science/vstte/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2019-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190603 DTEND;VALUE=DATE:20190604 SUMMARY:VSTTE 2019 — notification DESCRIPTION:11th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in New York City\, USA.\nConference dates: 18–19 Jul 2019.\nhttps://w ww.conferences-computer.science/vstte/2019/ URL:https://www.conferences-computer.science/vstte/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2020-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200414 DTEND;VALUE=DATE:20200415 SUMMARY:VSTTE 2020 — abstract deadline DESCRIPTION:12th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Los Angeles\, USA.\nConference dates: 19–20 Jul 2020.\nhttps://www .conferences-computer.science/vstte/2020/ URL:https://www.conferences-computer.science/vstte/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2020-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200420 DTEND;VALUE=DATE:20200421 SUMMARY:VSTTE 2020 — paper deadline DESCRIPTION:12th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Los Angeles\, USA.\nConference dates: 19–20 Jul 2020.\nhttps://www .conferences-computer.science/vstte/2020/ URL:https://www.conferences-computer.science/vstte/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2020-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200605 DTEND;VALUE=DATE:20200606 SUMMARY:VSTTE 2020 — notification DESCRIPTION:12th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Los Angeles\, USA.\nConference dates: 19–20 Jul 2020.\nhttps://www .conferences-computer.science/vstte/2020/ URL:https://www.conferences-computer.science/vstte/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2022-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220722 DTEND;VALUE=DATE:20220723 SUMMARY:VSTTE 2022 — abstract deadline DESCRIPTION:14th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 15 July 2022.\nHeld in Trento\, Italy.\nConference dates: 17 –18 Oct 2022.\nhttps://www.conferences-computer.science/vstte/2022/ URL:https://www.conferences-computer.science/vstte/2022/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2022-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220729 DTEND;VALUE=DATE:20220730 SUMMARY:VSTTE 2022 — paper deadline DESCRIPTION:14th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 22 July 2022.\nHeld in Trento\, Italy.\nConference dates: 17 –18 Oct 2022.\nhttps://www.conferences-computer.science/vstte/2022/ URL:https://www.conferences-computer.science/vstte/2022/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2022-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20220905 DTEND;VALUE=DATE:20220906 SUMMARY:VSTTE 2022 — notification DESCRIPTION:14th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Trento\, Italy.\nConference dates: 17–18 Oct 2022.\nhttps://www.co nferences-computer.science/vstte/2022/ URL:https://www.conferences-computer.science/vstte/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2023-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230728 DTEND;VALUE=DATE:20230729 SUMMARY:VSTTE 2023 — abstract deadline DESCRIPTION:15th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 21 July 2023.\nHeld in Ames\, Iowa\, USA.\nConference dates: 2 3 Oct 2023.\nhttps://www.conferences-computer.science/vstte/2023/ URL:https://www.conferences-computer.science/vstte/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2023-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230804 DTEND;VALUE=DATE:20230805 SUMMARY:VSTTE 2023 — paper deadline DESCRIPTION:15th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nEx tended from 28 July 2023.\nHeld in Ames\, Iowa\, USA.\nConference dates: 2 3 Oct 2023.\nhttps://www.conferences-computer.science/vstte/2023/ URL:https://www.conferences-computer.science/vstte/2023/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2023-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20230904 DTEND;VALUE=DATE:20230905 SUMMARY:VSTTE 2023 — notification DESCRIPTION:15th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nNo time zone stated by the organisers\; this si te 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.\nHe ld in Ames\, Iowa\, USA.\nConference dates: 23 Oct 2023.\nhttps://www.conf erences-computer.science/vstte/2023/ URL:https://www.conferences-computer.science/vstte/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2024-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240727 DTEND;VALUE=DATE:20240728 SUMMARY:VSTTE 2024 — abstract deadline DESCRIPTION:16th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nHeld in Prague\, Czech Republic.\nConference dates: 14–15 Oct 2024.\nhttps://www.conferences-computer.science/vstte/2024/ URL:https://www.conferences-computer.science/vstte/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2024-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240727 DTEND;VALUE=DATE:20240728 SUMMARY:VSTTE 2024 — paper deadline DESCRIPTION:16th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nHeld in Prague\, Czech Republic.\nConference dates: 14–15 Oct 2024.\nhttps://www.conferences-computer.science/vstte/2024/ URL:https://www.conferences-computer.science/vstte/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2024-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20240819 DTEND;VALUE=DATE:20240820 SUMMARY:VSTTE 2024 — notification DESCRIPTION:16th International Conference on Verified Software: Theories\, Tools and Experiments\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Prague\, Czech Republic.\nConference dates: 14–15 Oct 2024.\nhttps://w ww.conferences-computer.science/vstte/2024/ URL:https://www.conferences-computer.science/vstte/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2025-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250714 DTEND;VALUE=DATE:20250715 SUMMARY:VSTTE 2025 — abstract deadline DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nHeld in Menlo Park\, California\, USA.\nConference dates: 6 –7 Oct 2025.\nhttps://www.conferences-computer.science/vstte/2025/ URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2025-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250718 DTEND;VALUE=DATE:20250719 SUMMARY:VSTTE 2025 — paper deadline DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nHeld in Menlo Park\, California\, USA.\nConference dates: 6 –7 Oct 2025.\nhttps://www.conferences-computer.science/vstte/2025/ URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2025-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20250831 DTEND;VALUE=DATE:20250901 SUMMARY:VSTTE 2025 — notification DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Menlo Park\, California\, USA.\nConference dates: 6–7 Oct 2025.\nhttps ://www.conferences-computer.science/vstte/2025/ URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-abstract@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260717 DTEND;VALUE=DATE:20260718 SUMMARY:VSTTE 2026 — abstract deadline DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 10 July 2026.\nHeld in Graz\, Austria.\nConfe rence dates: 14 Sep 2026.\nhttps://www.conferences-computer.science/vstte/ 2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-paper@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260724 DTEND;VALUE=DATE:20260725 SUMMARY:VSTTE 2026 — paper deadline DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nDeadline stated in AoE.\nShown as an all-day event: the deadline is a moment\, not a day\, so check the exact time on the con ference site.\nExtended from 17 July 2026.\nHeld in Graz\, Austria.\nConfe rence dates: 14 Sep 2026.\nhttps://www.conferences-computer.science/vstte/ 2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:1 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-notification@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260822 DTEND;VALUE=DATE:20260823 SUMMARY:VSTTE 2026 — notification DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nNo time zone stated by the organisers\; this site a ssumes Anywhere on Earth.\nShown as an all-day event: the deadline is a mo ment\, not a day\, so check the exact time on the conference site.\nHeld i n Graz\, Austria.\nConference dates: 14 Sep 2026.\nhttps://www.conferences -computer.science/vstte/2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Deadline,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2017-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20170919 DTEND;VALUE=DATE:20170920 SUMMARY:VSTTE 2017 — Heidelberg\, Germany DESCRIPTION:9th Working Conference on Verified Software: Theories\, Tools\, and Experiments (VSTTE)\nHeld in Heidelberg\, Germany.\nPaper deadline wa s 08 May 2017.\nhttps://www.conferences-computer.science/vstte/2017/ URL:https://www.conferences-computer.science/vstte/2017/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2018-event@conferences-computer.science DTSTAMP:20260813T085819Z DTSTART;VALUE=DATE:20180718 DTEND;VALUE=DATE:20180720 SUMMARY:VSTTE 2018 — Oxford\, England DESCRIPTION:10th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nHeld in Oxford\, England.\nPaper deadline was 2 9 April 2018.\nhttps://www.conferences-computer.science/vstte/2018/ URL:https://www.conferences-computer.science/vstte/2018/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2019-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20190718 DTEND;VALUE=DATE:20190720 SUMMARY:VSTTE 2019 — New York City\, USA DESCRIPTION:11th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nHeld in New York City\, USA.\nPaper deadline wa s 29 April 2019.\nhttps://www.conferences-computer.science/vstte/2019/ URL:https://www.conferences-computer.science/vstte/2019/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2020-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20200719 DTEND;VALUE=DATE:20200721 SUMMARY:VSTTE 2020 — Los Angeles\, USA DESCRIPTION:12th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nHeld in Los Angeles\, USA.\nPaper deadline was 20 April 2020.\nhttps://www.conferences-computer.science/vstte/2020/ URL:https://www.conferences-computer.science/vstte/2020/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2022-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20221017 DTEND;VALUE=DATE:20221019 SUMMARY:VSTTE 2022 — Trento\, Italy DESCRIPTION:14th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nHeld in Trento\, Italy.\nPaper deadline was 29 July 2022.\nhttps://www.conferences-computer.science/vstte/2022/ URL:https://www.conferences-computer.science/vstte/2022/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2023-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20231023 DTEND;VALUE=DATE:20231024 SUMMARY:VSTTE 2023 — Ames\, Iowa\, USA DESCRIPTION:15th Working Conference on Verified Software: Theories\, Tools\ , and Experiments (VSTTE)\nHeld in Ames\, Iowa\, USA.\nPaper deadline was 04 August 2023.\nhttps://www.conferences-computer.science/vstte/2023/ URL:https://www.conferences-computer.science/vstte/2023/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2024-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20241014 DTEND;VALUE=DATE:20241016 SUMMARY:VSTTE 2024 — Prague\, Czech Republic DESCRIPTION:16th International Conference on Verified Software: Theories\, Tools and Experiments\nHeld in Prague\, Czech Republic.\nPaper deadline wa s 27 July 2024.\nhttps://www.conferences-computer.science/vstte/2024/ URL:https://www.conferences-computer.science/vstte/2024/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2025-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20251006 DTEND;VALUE=DATE:20251008 SUMMARY:VSTTE 2025 — Menlo Park\, California\, USA DESCRIPTION:17th International Conference on Verified Software: Theories\, Tools and Experiments\nHeld in Menlo Park\, California\, USA.\nPaper deadl ine was 18 July 2025.\nhttps://www.conferences-computer.science/vstte/2025 / URL:https://www.conferences-computer.science/vstte/2025/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT BEGIN:VEVENT UID:vstte-2026-event@conferences-computer.science DTSTAMP:20260813T114739Z DTSTART;VALUE=DATE:20260914 DTEND;VALUE=DATE:20260915 SUMMARY:VSTTE 2026 — Graz\, Austria DESCRIPTION:18th International Conference on Verified Software: Theories\, Tools and Experiments\nHeld in Graz\, Austria.\nPaper deadline was 24 July 2026.\nhttps://www.conferences-computer.science/vstte/2026/ URL:https://www.conferences-computer.science/vstte/2026/ SEQUENCE:0 TRANSP:TRANSPARENT CATEGORIES:Conference,VSTTE END:VEVENT END:VCALENDAR