BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//conferences-computer.science//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:TAP — deadlines and dates
X-WR-CALDESC:Every recorded edition of TAP. https://www.conferences-compute
 r.science/tap/
X-PUBLISHED-TTL:PT12H
REFRESH-INTERVAL;VALUE=DURATION:PT12H
BEGIN:VEVENT
UID:tap-2015-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150213
DTEND;VALUE=DATE:20150214
SUMMARY:TAP 2015 — abstract deadline
DESCRIPTION:9th International Conference on Tests & Proofs\nNo time zone st
 ated 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 L’Aquila\, Italy.\nConference date
 s: 22–24 Jul 2015.\nhttps://www.conferences-computer.science/tap/2015/
URL:https://www.conferences-computer.science/tap/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2015-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150220
DTEND;VALUE=DATE:20150221
SUMMARY:TAP 2015 — paper deadline
DESCRIPTION:9th International Conference on Tests & Proofs\nNo time zone st
 ated 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 L’Aquila\, Italy.\nConference date
 s: 22–24 Jul 2015.\nhttps://www.conferences-computer.science/tap/2015/
URL:https://www.conferences-computer.science/tap/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2015-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150413
DTEND;VALUE=DATE:20150414
SUMMARY:TAP 2015 — notification
DESCRIPTION:9th International Conference on Tests & Proofs\nNo time zone st
 ated 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 L’Aquila\, Italy.\nConference date
 s: 22–24 Jul 2015.\nhttps://www.conferences-computer.science/tap/2015/
URL:https://www.conferences-computer.science/tap/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2016-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160215
DTEND;VALUE=DATE:20160216
SUMMARY:TAP 2016 — abstract deadline
DESCRIPTION:10th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 29 January 2016.\nHeld in Vie
 nna\, Austria.\nConference dates: 5–7 Jul 2016.\nhttps://www.conferences
 -computer.science/tap/2016/
URL:https://www.conferences-computer.science/tap/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2016-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160215
DTEND;VALUE=DATE:20160216
SUMMARY:TAP 2016 — paper deadline
DESCRIPTION:10th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 29 January 2016.\nHeld in Vie
 nna\, Austria.\nConference dates: 5–7 Jul 2016.\nhttps://www.conferences
 -computer.science/tap/2016/
URL:https://www.conferences-computer.science/tap/2016/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2016-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160415
DTEND;VALUE=DATE:20160416
SUMMARY:TAP 2016 — notification
DESCRIPTION:10th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Vienna\, Austria.\nConference dates
 : 5–7 Jul 2016.\nhttps://www.conferences-computer.science/tap/2016/
URL:https://www.conferences-computer.science/tap/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2017-abstract@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170227
DTEND;VALUE=DATE:20170228
SUMMARY:TAP 2017 — abstract deadline
DESCRIPTION:11th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 17 February 2017.\nHeld in Ma
 rburg\, Germany.\nConference dates: 19–20 Jul 2017.\nhttps://www.confere
 nces-computer.science/tap/2017/
URL:https://www.conferences-computer.science/tap/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2017-paper@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170305
DTEND;VALUE=DATE:20170306
SUMMARY:TAP 2017 — paper deadline
DESCRIPTION:11th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 24 February 2017.\nHeld in Ma
 rburg\, Germany.\nConference dates: 19–20 Jul 2017.\nhttps://www.confere
 nces-computer.science/tap/2017/
URL:https://www.conferences-computer.science/tap/2017/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2017-notification@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170407
DTEND;VALUE=DATE:20170408
SUMMARY:TAP 2017 — notification
DESCRIPTION:11th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Marburg\, Germany.\nConference date
 s: 19–20 Jul 2017.\nhttps://www.conferences-computer.science/tap/2017/
URL:https://www.conferences-computer.science/tap/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2018-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180304
DTEND;VALUE=DATE:20180305
SUMMARY:TAP 2018 — abstract deadline
DESCRIPTION:12th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 23 February 2018.\nHeld in To
 ulouse\, France.\nConference dates: 27–29 Jun 2018.\nhttps://www.confere
 nces-computer.science/tap/2018/
URL:https://www.conferences-computer.science/tap/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2018-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180311
DTEND;VALUE=DATE:20180312
SUMMARY:TAP 2018 — paper deadline
DESCRIPTION:12th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 02 March 2018.\nHeld in Toulo
 use\, France.\nConference dates: 27–29 Jun 2018.\nhttps://www.conference
 s-computer.science/tap/2018/
URL:https://www.conferences-computer.science/tap/2018/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2018-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180409
DTEND;VALUE=DATE:20180410
SUMMARY:TAP 2018 — notification
DESCRIPTION:12th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Toulouse\, France.\nConference date
 s: 27–29 Jun 2018.\nhttps://www.conferences-computer.science/tap/2018/
URL:https://www.conferences-computer.science/tap/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2019-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190411
DTEND;VALUE=DATE:20190412
SUMMARY:TAP 2019 — abstract deadline
DESCRIPTION:13th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 28 March 2019.\nHeld in Porto
 \, Portugal.\nConference dates: 9–11 Oct 2019.\nhttps://www.conferences-
 computer.science/tap/2019/
URL:https://www.conferences-computer.science/tap/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2019-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190425
DTEND;VALUE=DATE:20190426
SUMMARY:TAP 2019 — paper deadline
DESCRIPTION:13th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 11 April 2019.\nHeld in Porto
 \, Portugal.\nConference dates: 9–11 Oct 2019.\nhttps://www.conferences-
 computer.science/tap/2019/
URL:https://www.conferences-computer.science/tap/2019/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2019-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20190611
DTEND;VALUE=DATE:20190612
SUMMARY:TAP 2019 — notification
DESCRIPTION:13th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Porto\, Portugal.\nConference dates
 : 9–11 Oct 2019.\nhttps://www.conferences-computer.science/tap/2019/
URL:https://www.conferences-computer.science/tap/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2020-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200126
DTEND;VALUE=DATE:20200127
SUMMARY:TAP 2020 — abstract deadline
DESCRIPTION:14th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 15 January 2020.\nHeld in Ber
 gen\, Norway.\nConference dates: 22–26 Jun 2020.\nhttps://www.conference
 s-computer.science/tap/2020/
URL:https://www.conferences-computer.science/tap/2020/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2020-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200202
DTEND;VALUE=DATE:20200203
SUMMARY:TAP 2020 — paper deadline
DESCRIPTION:14th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 22 January 2020.\nHeld in Ber
 gen\, Norway.\nConference dates: 22–26 Jun 2020.\nhttps://www.conference
 s-computer.science/tap/2020/
URL:https://www.conferences-computer.science/tap/2020/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2020-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200316
DTEND;VALUE=DATE:20200317
SUMMARY:TAP 2020 — notification
DESCRIPTION:14th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Bergen\, Norway.\nConference dates:
  22–26 Jun 2020.\nhttps://www.conferences-computer.science/tap/2020/
URL:https://www.conferences-computer.science/tap/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2021-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210301
DTEND;VALUE=DATE:20210302
SUMMARY:TAP 2021 — abstract deadline
DESCRIPTION:15th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 31 January 2021.\nHeld in Onl
 ine.\nConference dates: 21–25 Jun 2021.\nhttps://www.conferences-compute
 r.science/tap/2021/
URL:https://www.conferences-computer.science/tap/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2021-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210308
DTEND;VALUE=DATE:20210309
SUMMARY:TAP 2021 — paper deadline
DESCRIPTION:15th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 31 January 2021.\nHeld in Onl
 ine.\nConference dates: 21–25 Jun 2021.\nhttps://www.conferences-compute
 r.science/tap/2021/
URL:https://www.conferences-computer.science/tap/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2021-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210412
DTEND;VALUE=DATE:20210413
SUMMARY:TAP 2021 — notification
DESCRIPTION:15th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 15 March 2021.\nHeld in Onlin
 e.\nConference dates: 21–25 Jun 2021.\nhttps://www.conferences-computer.
 science/tap/2021/
URL:https://www.conferences-computer.science/tap/2021/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2022-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220318
DTEND;VALUE=DATE:20220319
SUMMARY:TAP 2022 — abstract deadline
DESCRIPTION:16th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 08 March 2022.\nHeld in Nante
 s\, France.\nConference dates: 4–8 Jul 2022.\nhttps://www.conferences-co
 mputer.science/tap/2022/
URL:https://www.conferences-computer.science/tap/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2022-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220323
DTEND;VALUE=DATE:20220324
SUMMARY:TAP 2022 — paper deadline
DESCRIPTION:16th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 15 March 2022.\nHeld in Nante
 s\, France.\nConference dates: 4–8 Jul 2022.\nhttps://www.conferences-co
 mputer.science/tap/2022/
URL:https://www.conferences-computer.science/tap/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2022-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220509
DTEND;VALUE=DATE:20220510
SUMMARY:TAP 2022 — notification
DESCRIPTION:16th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 29 April 2022.\nHeld in Nante
 s\, France.\nConference dates: 4–8 Jul 2022.\nhttps://www.conferences-co
 mputer.science/tap/2022/
URL:https://www.conferences-computer.science/tap/2022/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2023-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230324
DTEND;VALUE=DATE:20230325
SUMMARY:TAP 2023 — abstract deadline
DESCRIPTION:17th International Conference on Tests & Proofs\nDeadline state
 d in AoE.\nShown as an all-day event: the deadline is a moment\, not a day
 \, so check the exact time on the conference site.\nExtended from 03 March
  2023.\nHeld in Leicester\, England.\nConference dates: 18–19 Jul 2023.\
 nhttps://www.conferences-computer.science/tap/2023/
URL:https://www.conferences-computer.science/tap/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2023-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230324
DTEND;VALUE=DATE:20230325
SUMMARY:TAP 2023 — paper deadline
DESCRIPTION:17th International Conference on Tests & Proofs\nDeadline state
 d in AoE.\nShown as an all-day event: the deadline is a moment\, not a day
 \, so check the exact time on the conference site.\nExtended from 17 March
  2023.\nHeld in Leicester\, England.\nConference dates: 18–19 Jul 2023.\
 nhttps://www.conferences-computer.science/tap/2023/
URL:https://www.conferences-computer.science/tap/2023/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2023-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230421
DTEND;VALUE=DATE:20230422
SUMMARY:TAP 2023 — notification
DESCRIPTION:17th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nHeld in Leicester\, England.\nConference da
 tes: 18–19 Jul 2023.\nhttps://www.conferences-computer.science/tap/2023/
URL:https://www.conferences-computer.science/tap/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2024-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240612
DTEND;VALUE=DATE:20240613
SUMMARY:TAP 2024 — abstract deadline
DESCRIPTION:18th International Conference on Tests & Proofs\nDeadline state
 d in AoE.\nShown as an all-day event: the deadline is a moment\, not a day
 \, so check the exact time on the conference site.\nExtended from 08 May 2
 024.\nHeld in Milan\, Italy.\nConference dates: 9–10 Sep 2024.\nhttps://
 www.conferences-computer.science/tap/2024/
URL:https://www.conferences-computer.science/tap/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2024-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240614
DTEND;VALUE=DATE:20240615
SUMMARY:TAP 2024 — paper deadline
DESCRIPTION:18th International Conference on Tests & Proofs\nDeadline state
 d in AoE.\nShown as an all-day event: the deadline is a moment\, not a day
 \, so check the exact time on the conference site.\nExtended from 15 May 2
 024.\nHeld in Milan\, Italy.\nConference dates: 9–10 Sep 2024.\nhttps://
 www.conferences-computer.science/tap/2024/
URL:https://www.conferences-computer.science/tap/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2024-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240705
DTEND;VALUE=DATE:20240706
SUMMARY:TAP 2024 — notification
DESCRIPTION:18th International Conference on Tests & Proofs\nNo time zone s
 tated by the organisers\; this site assumes Anywhere on Earth.\nShown as a
 n all-day event: the deadline is a moment\, not a day\, so check the exact
  time on the conference site.\nExtended from 26 June 2024.\nHeld in Milan\
 , Italy.\nConference dates: 9–10 Sep 2024.\nhttps://www.conferences-comp
 uter.science/tap/2024/
URL:https://www.conferences-computer.science/tap/2024/
SEQUENCE:1
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2026-abstract@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251125
DTEND;VALUE=DATE:20251126
SUMMARY:TAP 2026 — abstract deadline
DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation
 al Symposium on Formal Methods (FM 2026)\nDeadline stated in AoE.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates
 : 18–22 May 2026.\nhttps://www.conferences-computer.science/tap/2026/
URL:https://www.conferences-computer.science/tap/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2026-paper@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20251202
DTEND;VALUE=DATE:20251203
SUMMARY:TAP 2026 — paper deadline
DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation
 al Symposium on Formal Methods (FM 2026)\nDeadline stated in AoE.\nShown a
 s an all-day event: the deadline is a moment\, not a day\, so check the ex
 act time on the conference site.\nHeld in Tokyo\, Japan.\nConference dates
 : 18–22 May 2026.\nhttps://www.conferences-computer.science/tap/2026/
URL:https://www.conferences-computer.science/tap/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2026-notification@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260206
DTEND;VALUE=DATE:20260207
SUMMARY:TAP 2026 — notification
DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation
 al Symposium on Formal Methods (FM 2026)\nNo time zone stated by the organ
 isers\; this site assumes Anywhere on Earth.\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 Tokyo\, Japan.\nConference dates: 18–22 May 2026.\n
 https://www.conferences-computer.science/tap/2026/
URL:https://www.conferences-computer.science/tap/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Deadline,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2015-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20150722
DTEND;VALUE=DATE:20150725
SUMMARY:TAP 2015 — L’Aquila\, Italy
DESCRIPTION:9th International Conference on Tests & Proofs\nHeld in L’Aqu
 ila\, Italy.\nPaper deadline was 20 February 2015.\nhttps://www.conference
 s-computer.science/tap/2015/
URL:https://www.conferences-computer.science/tap/2015/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2016-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20160705
DTEND;VALUE=DATE:20160708
SUMMARY:TAP 2016 — Vienna\, Austria
DESCRIPTION:10th International Conference on Tests & Proofs\nHeld in Vienna
 \, Austria.\nPaper deadline was 15 February 2016.\nhttps://www.conferences
 -computer.science/tap/2016/
URL:https://www.conferences-computer.science/tap/2016/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2017-event@conferences-computer.science
DTSTAMP:20260813T085819Z
DTSTART;VALUE=DATE:20170719
DTEND;VALUE=DATE:20170721
SUMMARY:TAP 2017 — Marburg\, Germany
DESCRIPTION:11th International Conference on Tests & Proofs\nHeld in Marbur
 g\, Germany.\nPaper deadline was 05 March 2017.\nhttps://www.conferences-c
 omputer.science/tap/2017/
URL:https://www.conferences-computer.science/tap/2017/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2018-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20180627
DTEND;VALUE=DATE:20180630
SUMMARY:TAP 2018 — Toulouse\, France
DESCRIPTION:12th International Conference on Tests & Proofs\nHeld in Toulou
 se\, France.\nPaper deadline was 11 March 2018.\nhttps://www.conferences-c
 omputer.science/tap/2018/
URL:https://www.conferences-computer.science/tap/2018/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2019-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20191009
DTEND;VALUE=DATE:20191012
SUMMARY:TAP 2019 — Porto\, Portugal
DESCRIPTION:13th International Conference on Tests & Proofs\nHeld in Porto\
 , Portugal.\nPaper deadline was 25 April 2019.\nhttps://www.conferences-co
 mputer.science/tap/2019/
URL:https://www.conferences-computer.science/tap/2019/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2020-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20200622
DTEND;VALUE=DATE:20200627
SUMMARY:TAP 2020 — Bergen\, Norway
DESCRIPTION:14th International Conference on Tests & Proofs\nHeld in Bergen
 \, Norway.\nPaper deadline was 02 February 2020.\nhttps://www.conferences-
 computer.science/tap/2020/
URL:https://www.conferences-computer.science/tap/2020/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2021-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20210621
DTEND;VALUE=DATE:20210626
SUMMARY:TAP 2021 — Online
DESCRIPTION:15th International Conference on Tests & Proofs\nHeld in Online
 .\nPaper deadline was 08 March 2021.\nhttps://www.conferences-computer.sci
 ence/tap/2021/
URL:https://www.conferences-computer.science/tap/2021/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2022-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20220704
DTEND;VALUE=DATE:20220709
SUMMARY:TAP 2022 — Nantes\, France
DESCRIPTION:16th International Conference on Tests & Proofs\nHeld in Nantes
 \, France.\nPaper deadline was 23 March 2022.\nhttps://www.conferences-com
 puter.science/tap/2022/
URL:https://www.conferences-computer.science/tap/2022/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2023-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20230718
DTEND;VALUE=DATE:20230720
SUMMARY:TAP 2023 — Leicester\, England
DESCRIPTION:17th International Conference on Tests & Proofs\nHeld in Leices
 ter\, England.\nPaper deadline was 24 March 2023.\nhttps://www.conferences
 -computer.science/tap/2023/
URL:https://www.conferences-computer.science/tap/2023/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2024-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20240909
DTEND;VALUE=DATE:20240911
SUMMARY:TAP 2024 — Milan\, Italy
DESCRIPTION:18th International Conference on Tests & Proofs\nHeld in Milan\
 , Italy.\nPaper deadline was 14 June 2024.\nhttps://www.conferences-comput
 er.science/tap/2024/
URL:https://www.conferences-computer.science/tap/2024/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
BEGIN:VEVENT
UID:tap-2026-event@conferences-computer.science
DTSTAMP:20260813T114739Z
DTSTART;VALUE=DATE:20260518
DTEND;VALUE=DATE:20260523
SUMMARY:TAP 2026 — Tokyo\, Japan
DESCRIPTION:Special Track on TAP (Tests and Proofs) of the 27th Internation
 al Symposium on Formal Methods (FM 2026)\nHeld in Tokyo\, Japan.\nPaper de
 adline was 02 December 2025.\nhttps://www.conferences-computer.science/tap
 /2026/
URL:https://www.conferences-computer.science/tap/2026/
SEQUENCE:0
TRANSP:TRANSPARENT
CATEGORIES:Conference,TAP
END:VEVENT
END:VCALENDAR