{
 "generated": "2026-08-13T11:47:39.609267+00:00",
 "source": "https://www.conferences-computer.science/vstte/",
 "licence": "CC BY-SA 4.0",
 "acronym": "VSTTE",
 "name": "International Conference on Verified Software: Theories, Tools and Experiments",
 "count": 10,
 "editions": [
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2017",
   "edition": 9,
   "title": "9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "https://vstte17.lri.fr",
   "page": "https://www.conferences-computer.science/vstte/2017/",
   "status": null,
   "abstract_deadline": "2017-05-01",
   "paper_deadline": "2017-05-08",
   "paper_deadline_announced": "2017-05-01",
   "paper_extended_days": 7,
   "notification": "2017-06-05",
   "timezone": null,
   "event_start": "2017-09-19",
   "event_end": null,
   "city": "Heidelberg, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 49.3988,
   "lon": 8.6724,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2018",
   "edition": 10,
   "title": "10th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "http://vstte18.it.uu.se/",
   "page": "https://www.conferences-computer.science/vstte/2018/",
   "status": null,
   "abstract_deadline": "2018-04-26",
   "paper_deadline": "2018-04-29",
   "paper_deadline_announced": "2018-04-22",
   "paper_extended_days": 7,
   "notification": "2018-05-15",
   "timezone": null,
   "event_start": "2018-07-18",
   "event_end": "2018-07-19",
   "city": "Oxford, England",
   "country": "GB",
   "continent": "EU",
   "lat": 51.752,
   "lon": -1.2577,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 24,
   "accepted": 19,
   "acceptance_rate": 79.2,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2019",
   "edition": 11,
   "title": "11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "https://sri-csl.github.io/VSTTE19/",
   "page": "https://www.conferences-computer.science/vstte/2019/",
   "status": null,
   "abstract_deadline": "2019-04-23",
   "paper_deadline": "2019-04-29",
   "paper_deadline_announced": "2019-04-29",
   "paper_extended_days": 0,
   "notification": "2019-06-03",
   "timezone": null,
   "event_start": "2019-07-18",
   "event_end": "2019-07-19",
   "city": "New York City, USA",
   "country": "US",
   "continent": "NA",
   "lat": 40.7128,
   "lon": -74.006,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 17,
   "accepted": 9,
   "acceptance_rate": 52.9,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2020",
   "edition": 12,
   "title": "12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "https://sri-csl.github.io/VSTTE20/",
   "page": "https://www.conferences-computer.science/vstte/2020/",
   "status": null,
   "abstract_deadline": "2020-04-14",
   "paper_deadline": "2020-04-20",
   "paper_deadline_announced": "2020-04-20",
   "paper_extended_days": 0,
   "notification": "2020-06-05",
   "timezone": null,
   "event_start": "2020-07-19",
   "event_end": "2020-07-20",
   "city": "Los Angeles, USA",
   "country": "US",
   "continent": "NA",
   "lat": 34.0522,
   "lon": -118.2437,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 14,
   "accepted": 9,
   "acceptance_rate": 64.3,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2021",
   "edition": null,
   "title": "International Conference on Verified Software: Theories, Tools and Experiments",
   "url": null,
   "page": "https://www.conferences-computer.science/vstte/2021/",
   "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": "absent",
   "submitted": 17,
   "accepted": 7,
   "acceptance_rate": 41.2,
   "format": null,
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2022",
   "edition": 14,
   "title": "14th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "https://vstte22.fbk.eu/",
   "page": "https://www.conferences-computer.science/vstte/2022/",
   "status": null,
   "abstract_deadline": "2022-07-22",
   "paper_deadline": "2022-07-29",
   "paper_deadline_announced": "2022-07-22",
   "paper_extended_days": 7,
   "notification": "2022-09-05",
   "timezone": null,
   "event_start": "2022-10-17",
   "event_end": "2022-10-18",
   "city": "Trento, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 46.0748,
   "lon": 11.1217,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2023",
   "edition": 15,
   "title": "15th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)",
   "url": "https://homepage.cs.uiowa.edu/~ajreynol/VSTTE2023/",
   "page": "https://www.conferences-computer.science/vstte/2023/",
   "status": null,
   "abstract_deadline": "2023-07-28",
   "paper_deadline": "2023-08-04",
   "paper_deadline_announced": "2023-07-28",
   "paper_extended_days": 7,
   "notification": "2023-09-04",
   "timezone": null,
   "event_start": "2023-10-23",
   "event_end": null,
   "city": "Ames, Iowa, USA",
   "country": "US",
   "continent": "NA",
   "lat": 42.0308,
   "lon": -93.6319,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 13,
   "accepted": 6,
   "acceptance_rate": 46.2,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2024",
   "edition": 16,
   "title": "16th International Conference on Verified Software: Theories, Tools and Experiments",
   "url": "https://www.soundandcomplete.org/vstte2024.html",
   "page": "https://www.conferences-computer.science/vstte/2024/",
   "status": null,
   "abstract_deadline": "2024-07-27",
   "paper_deadline": "2024-07-27",
   "paper_deadline_announced": "2024-07-27",
   "paper_extended_days": 0,
   "notification": "2024-08-19",
   "timezone": "AoE",
   "event_start": "2024-10-14",
   "event_end": "2024-10-15",
   "city": "Prague, Czech Republic",
   "country": "CZ",
   "continent": "EU",
   "lat": 50.0755,
   "lon": 14.4378,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 6,
   "accepted": 6,
   "acceptance_rate": 100.0,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2025",
   "edition": 17,
   "title": "17th International Conference on Verified Software: Theories, Tools and Experiments",
   "url": "https://systemf.epfl.ch/etc/vstte2025/",
   "page": "https://www.conferences-computer.science/vstte/2025/",
   "status": null,
   "abstract_deadline": "2025-07-14",
   "paper_deadline": "2025-07-18",
   "paper_deadline_announced": "2025-07-18",
   "paper_extended_days": 0,
   "notification": "2025-08-31",
   "timezone": "AoE",
   "event_start": "2025-10-06",
   "event_end": "2025-10-07",
   "city": "Menlo Park, California, USA",
   "country": "US",
   "continent": "NA",
   "lat": 37.453,
   "lon": -122.1817,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": 15,
   "accepted": 6,
   "acceptance_rate": 40.0,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  },
  {
   "slug": "vstte",
   "acronym": "VSTTE",
   "year": "2026",
   "edition": 18,
   "title": "18th International Conference on Verified Software: Theories, Tools and Experiments",
   "url": "https://fmcad.org/FMCAD26/vstte/",
   "page": "https://www.conferences-computer.science/vstte/2026/",
   "status": null,
   "abstract_deadline": "2026-07-17",
   "paper_deadline": "2026-07-24",
   "paper_deadline_announced": "2026-07-17",
   "paper_extended_days": 7,
   "notification": "2026-08-22",
   "timezone": "AoE",
   "event_start": "2026-09-14",
   "event_end": null,
   "city": "Graz, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 47.0707,
   "lon": 15.4395,
   "online": false,
   "publisher": "LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "absent",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (long) / 10 pages (short)",
   "dblp": "vstte"
  }
 ]
}