{
 "generated": "2026-08-13T11:47:39.587429+00:00",
 "source": "https://www.conferences-computer.science/tap/",
 "licence": "CC BY-SA 4.0",
 "acronym": "TAP",
 "name": "Special Track on TAP (Tests and Proofs) of the 27th International Symposium on Formal Methods (FM 2026)",
 "count": 11,
 "editions": [
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2015",
   "edition": 9,
   "title": "9th International Conference on Tests & Proofs",
   "url": "https://tap2015.in.tum.de/",
   "page": "https://www.conferences-computer.science/tap/2015/",
   "status": null,
   "abstract_deadline": "2015-02-13",
   "paper_deadline": "2015-02-20",
   "paper_deadline_announced": "2015-02-20",
   "paper_extended_days": 0,
   "notification": "2015-04-13",
   "timezone": null,
   "event_start": "2015-07-22",
   "event_end": "2015-07-24",
   "city": "L’Aquila, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 42.3498,
   "lon": 13.3995,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (research) / 6 pages (short) / 3 pages (tutorial)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2016",
   "edition": 10,
   "title": "10th International Conference on Tests & Proofs",
   "url": "http://tap2016.ist.tugraz.at/",
   "page": "https://www.conferences-computer.science/tap/2016/",
   "status": null,
   "abstract_deadline": "2016-02-15",
   "paper_deadline": "2016-02-15",
   "paper_deadline_announced": "2016-01-29",
   "paper_extended_days": 17,
   "notification": "2016-04-15",
   "timezone": null,
   "event_start": "2016-07-05",
   "event_end": "2016-07-07",
   "city": "Vienna, Austria",
   "country": "AT",
   "continent": "EU",
   "lat": 48.2082,
   "lon": 16.3738,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS (research) / 6 pages (short) / 3 pages (tutorial)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2017",
   "edition": 11,
   "title": "11th International Conference on Tests & Proofs",
   "url": "http://http://www.seceng.de/tap2017",
   "page": "https://www.conferences-computer.science/tap/2017/",
   "status": null,
   "abstract_deadline": "2017-02-27",
   "paper_deadline": "2017-03-05",
   "paper_deadline_announced": "2017-02-24",
   "paper_extended_days": 9,
   "notification": "2017-04-07",
   "timezone": null,
   "event_start": "2017-07-19",
   "event_end": "2017-07-20",
   "city": "Marburg, Germany",
   "country": "DE",
   "continent": "EU",
   "lat": 50.8021,
   "lon": 8.7667,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 16,
   "accepted": 9,
   "acceptance_rate": 56.2,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2018",
   "edition": 12,
   "title": "12th International Conference on Tests & Proofs",
   "url": "https://tap18.lri.fr/",
   "page": "https://www.conferences-computer.science/tap/2018/",
   "status": null,
   "abstract_deadline": "2018-03-04",
   "paper_deadline": "2018-03-11",
   "paper_deadline_announced": "2018-03-02",
   "paper_extended_days": 9,
   "notification": "2018-04-09",
   "timezone": null,
   "event_start": "2018-06-27",
   "event_end": "2018-06-29",
   "city": "Toulouse, France",
   "country": "FR",
   "continent": "EU",
   "lat": 43.6047,
   "lon": 1.4442,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 18,
   "accepted": 10,
   "acceptance_rate": 55.6,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2019",
   "edition": 13,
   "title": "13th International Conference on Tests & Proofs",
   "url": "https://tap.sosy-lab.org/2019/",
   "page": "https://www.conferences-computer.science/tap/2019/",
   "status": null,
   "abstract_deadline": "2019-04-11",
   "paper_deadline": "2019-04-25",
   "paper_deadline_announced": "2019-04-11",
   "paper_extended_days": 14,
   "notification": "2019-06-11",
   "timezone": null,
   "event_start": "2019-10-09",
   "event_end": "2019-10-11",
   "city": "Porto, Portugal",
   "country": "PT",
   "continent": "EU",
   "lat": 41.1579,
   "lon": -8.6291,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": 19,
   "accepted": 10,
   "acceptance_rate": 52.6,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2020",
   "edition": 14,
   "title": "14th International Conference on Tests & Proofs",
   "url": "https://tap.sosy-lab.org/2020/",
   "page": "https://www.conferences-computer.science/tap/2020/",
   "status": null,
   "abstract_deadline": "2020-01-26",
   "paper_deadline": "2020-02-02",
   "paper_deadline_announced": "2020-01-22",
   "paper_extended_days": 11,
   "notification": "2020-03-16",
   "timezone": null,
   "event_start": "2020-06-22",
   "event_end": "2020-06-26",
   "city": "Bergen, Norway",
   "country": "NO",
   "continent": "EU",
   "lat": 60.3913,
   "lon": 5.3221,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "B",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) / 4 pages (journal first)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2021",
   "edition": 15,
   "title": "15th International Conference on Tests & Proofs",
   "url": "https://www.univ-orleans.fr/lifo/events/TAP2021",
   "page": "https://www.conferences-computer.science/tap/2021/",
   "status": null,
   "abstract_deadline": "2021-03-01",
   "paper_deadline": "2021-03-08",
   "paper_deadline_announced": "2021-01-31",
   "paper_extended_days": 36,
   "notification": "2021-04-12",
   "timezone": null,
   "event_start": "2021-06-21",
   "event_end": "2021-06-25",
   "city": null,
   "country": null,
   "continent": null,
   "lat": null,
   "lon": null,
   "online": true,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": 10,
   "accepted": 6,
   "acceptance_rate": 60.0,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) / 4 pages (journal first)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2022",
   "edition": 16,
   "title": "16th International Conference on Tests & Proofs",
   "url": "https://easychair.org/smart-program/TAP22/",
   "page": "https://www.conferences-computer.science/tap/2022/",
   "status": null,
   "abstract_deadline": "2022-03-18",
   "paper_deadline": "2022-03-23",
   "paper_deadline_announced": "2022-03-15",
   "paper_extended_days": 8,
   "notification": "2022-05-09",
   "timezone": null,
   "event_start": "2022-07-04",
   "event_end": "2022-07-08",
   "city": "Nantes, France",
   "country": "FR",
   "continent": "EU",
   "lat": 47.2184,
   "lon": -1.5536,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2023",
   "edition": 17,
   "title": "17th International Conference on Tests & Proofs",
   "url": "https://conf.researchr.org/home/tap-2023",
   "page": "https://www.conferences-computer.science/tap/2023/",
   "status": null,
   "abstract_deadline": "2023-03-24",
   "paper_deadline": "2023-03-24",
   "paper_deadline_announced": "2023-03-17",
   "paper_extended_days": 7,
   "notification": "2023-04-21",
   "timezone": "AoE",
   "event_start": "2023-07-18",
   "event_end": "2023-07-19",
   "city": "Leicester, England",
   "country": "GB",
   "continent": "EU",
   "lat": 52.6369,
   "lon": -1.1398,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research) / 8 pages + ref (tool) / 6 pages + ref (short) / journal-first (4 pages)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2024",
   "edition": 18,
   "title": "18th International Conference on Tests & Proofs",
   "url": "https://tapconference.github.io/2024/",
   "page": "https://www.conferences-computer.science/tap/2024/",
   "status": null,
   "abstract_deadline": "2024-06-12",
   "paper_deadline": "2024-06-14",
   "paper_deadline_announced": "2024-05-15",
   "paper_extended_days": 30,
   "notification": "2024-07-05",
   "timezone": "AoE",
   "event_start": "2024-09-09",
   "event_end": "2024-09-10",
   "city": "Milan, Italy",
   "country": "IT",
   "continent": "EU",
   "lat": 45.4642,
   "lon": 9.19,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "pay-profit",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "16 pages LNCS + references (research/tool/case studies) / 6 pages + ref (short)",
   "dblp": "tap"
  },
  {
   "slug": "tap",
   "acronym": "TAP",
   "year": "2026",
   "edition": 19,
   "title": "Special Track on TAP (Tests and Proofs) of the 27th International Symposium on Formal Methods (FM 2026)",
   "url": "https://conf.researchr.org/track/fm-2026/fm-2026-tap",
   "page": "https://www.conferences-computer.science/tap/2026/",
   "status": null,
   "abstract_deadline": "2025-11-25",
   "paper_deadline": "2025-12-02",
   "paper_deadline_announced": "2025-12-02",
   "paper_extended_days": 0,
   "notification": "2026-02-06",
   "timezone": "AoE",
   "event_start": "2026-05-18",
   "event_end": "2026-05-22",
   "city": "Tokyo, Japan",
   "country": "JP",
   "continent": "AS",
   "lat": 35.6762,
   "lon": 139.6503,
   "online": false,
   "publisher": "Springer LNCS",
   "license": "cc-by",
   "doi": null,
   "core_rank": "C",
   "submitted": null,
   "accepted": null,
   "acceptance_rate": null,
   "format": "15 pages LNCS + references (regular/long tool/case studies) / 6 pages + ref (short)",
   "dblp": "tap"
  }
 ]
}