{
 "generated": "2026-08-13T12:01:09.301243+00:00",
 "source": "https://www.conferences-computer.science/tacas/",
 "licence": "CC BY-SA 4.0",
 "acronym": "TACAS",
 "name": "International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
 "count": 12,
 "editions": [
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2015",
   "edition": 21,
   "title": "21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "http://www.etaps.org/2015",
   "page": "https://www.conferences-computer.science/tacas/2015/",
   "status": null,
   "abstract_deadline": "2014-10-10",
   "paper_deadline": "2014-10-17",
   "paper_deadline_announced": "2014-10-17",
   "paper_extended_days": 0,
   "notification": "2014-12-19",
   "timezone": null,
   "event_start": "2015-04-11",
   "event_end": "2015-04-18",
   "city": "London, UK",
   "country": "GB",
   "continent": "EU",
   "lat": 51.5074,
   "lon": -0.1278,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS (regular / regular tool / case study) / 4+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2016",
   "edition": 22,
   "title": "22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "http://www.etaps.org/index.php/2016/tacas",
   "page": "https://www.conferences-computer.science/tacas/2016/",
   "status": null,
   "abstract_deadline": "2015-10-09",
   "paper_deadline": "2015-10-16",
   "paper_deadline_announced": "2015-10-16",
   "paper_extended_days": 0,
   "notification": "2015-12-18",
   "timezone": null,
   "event_start": "2016-04-02",
   "event_end": "2016-04-08",
   "city": "Eindhoven, The Netherlands",
   "country": "NL",
   "continent": "EU",
   "lat": 51.4416,
   "lon": 5.4697,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2 pages bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2017",
   "edition": 23,
   "title": "23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "http://www.etaps.org/index.php/2017/tacas",
   "page": "https://www.conferences-computer.science/tacas/2017/",
   "status": null,
   "abstract_deadline": "2016-10-14",
   "paper_deadline": "2016-10-21",
   "paper_deadline_announced": "2016-10-21",
   "paper_extended_days": 0,
   "notification": "2016-12-22",
   "timezone": null,
   "event_start": "2017-04-22",
   "event_end": "2017-04-29",
   "city": "Uppsala, Sweden",
   "country": "SE",
   "continent": "EU",
   "lat": 59.8586,
   "lon": 17.6389,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2 pages bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2018",
   "edition": 24,
   "title": "24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "http://www.etaps.org/index.php/2018/tacas",
   "page": "https://www.conferences-computer.science/tacas/2018/",
   "status": null,
   "abstract_deadline": "2017-10-13",
   "paper_deadline": "2017-10-20",
   "paper_deadline_announced": "2017-10-20",
   "paper_extended_days": 0,
   "notification": "2017-12-22",
   "timezone": null,
   "event_start": "2018-04-14",
   "event_end": "2018-04-21",
   "city": "Thessaloniki, Greece",
   "country": "GR",
   "continent": "EU",
   "lat": 40.6401,
   "lon": 22.9444,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2 pages bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2019",
   "edition": 25,
   "title": "25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://conf.researchr.org/track/etaps-2019/tacas-2019-papers",
   "page": "https://www.conferences-computer.science/tacas/2019/",
   "status": null,
   "abstract_deadline": "2018-11-09",
   "paper_deadline": "2018-11-16",
   "paper_deadline_announced": "2018-11-16",
   "paper_extended_days": 0,
   "notification": "2019-01-25",
   "timezone": null,
   "event_start": "2019-04-08",
   "event_end": "2019-04-11",
   "city": "Prag, Czech Republic",
   "country": "CZ",
   "continent": "EU",
   "lat": 50.0755,
   "lon": 14.4378,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + 2 pages bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2020",
   "edition": 26,
   "title": "26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2020/tacas",
   "page": "https://www.conferences-computer.science/tacas/2020/",
   "status": null,
   "abstract_deadline": "2019-10-24",
   "paper_deadline": "2019-10-24",
   "paper_deadline_announced": "2019-10-24",
   "paper_extended_days": 0,
   "notification": "2019-12-23",
   "timezone": "AoE",
   "event_start": "2020-04-25",
   "event_end": "2020-05-01",
   "city": "Dublin, Ireland",
   "country": "IE",
   "continent": "EU",
   "lat": 53.3498,
   "lon": -6.2603,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2021",
   "edition": 27,
   "title": "27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2021/tacas",
   "page": "https://www.conferences-computer.science/tacas/2021/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2020-10-15",
   "paper_deadline_announced": "2020-10-15",
   "paper_extended_days": 0,
   "notification": "2020-12-23",
   "timezone": "AoE",
   "event_start": "2021-03-27",
   "event_end": "2021-04-01",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2022",
   "edition": 28,
   "title": "28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2022/tacas",
   "page": "https://www.conferences-computer.science/tacas/2022/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2021-10-14",
   "paper_deadline_announced": "2021-10-14",
   "paper_extended_days": 0,
   "notification": "2021-12-23",
   "timezone": "AoE",
   "event_start": "2022-04-02",
   "event_end": "2022-04-07",
   "city": "Munich, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 48.1351,
   "lon": 11.582,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2023",
   "edition": 29,
   "title": "29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2023/tacas",
   "page": "https://www.conferences-computer.science/tacas/2023/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2022-10-13",
   "paper_deadline_announced": "2022-10-13",
   "paper_extended_days": 0,
   "notification": "2022-12-22",
   "timezone": "AoE",
   "event_start": "2023-04-22",
   "event_end": "2023-04-27",
   "city": "Paris, France",
   "country": "FR",
   "continent": "EU",
   "lat": 48.8566,
   "lon": 2.3522,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2024",
   "edition": 30,
   "title": "30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2024/tacas",
   "page": "https://www.conferences-computer.science/tacas/2024/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2023-10-12",
   "paper_deadline_announced": "2023-10-12",
   "paper_extended_days": 0,
   "notification": "2023-12-21",
   "timezone": "AoE",
   "event_start": "2024-04-08",
   "event_end": "2024-04-11",
   "city": "Luxembourg City, Luxembourg",
   "country": "LU",
   "continent": "EU",
   "lat": 49.6116,
   "lon": 6.1319,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2025",
   "edition": 31,
   "title": "31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2025/conferences/tacas/",
   "page": "https://www.conferences-computer.science/tacas/2025/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2024-10-10",
   "paper_deadline_announced": "2024-10-10",
   "paper_extended_days": 0,
   "notification": "2024-12-20",
   "timezone": "AoE",
   "event_start": "2025-05-03",
   "event_end": "2025-05-08",
   "city": "Hamilton, Canada",
   "country": "CA",
   "continent": "NA",
   "lat": 43.2557,
   "lon": -79.8711,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  },
  {
   "slug": "tacas",
   "acronym": "TACAS",
   "year": "2026",
   "edition": 32,
   "title": "32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems",
   "url": "https://etaps.org/2026/conferences/tacas/",
   "page": "https://www.conferences-computer.science/tacas/2026/",
   "status": null,
   "abstract_deadline": null,
   "paper_deadline": "2025-10-16",
   "paper_deadline_announced": "2025-10-16",
   "paper_extended_days": 0,
   "notification": "2025-12-22",
   "timezone": "AoE",
   "event_start": "2026-04-11",
   "event_end": "2026-04-16",
   "city": "Turin, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.0703,
   "lon": 7.6869,
   "online": false,
   "publisher": "Springer ARCoSS LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "A",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + bibliography (regular / regular tool / case study) / 6+6 pages (tool demo)",
   "dblp": "tacas"
  }
 ]
}