TAP

Tests and Proofs

Editions listed11 Covered2015–2026 Rank nowCORE C ProceedingsOpen access since 2026

Editions

Year	Ed.	Held	Where	Paper deadline	Accepted	Rate
2026	19	18–22 May 2026	Tōkyō 🇯🇵	2 Dec	—	—
2024	18	9–10 Sep 2024	Milan 🇮🇹	14 Jun +30 days	—	—
2023	17	18–19 Jul 2023	Leicester 🏴󠁧󠁢󠁥󠁮󠁧󠁿	24 Mar +7 days	—	—
2022	16	4–8 Jul 2022	Nantes 🇫🇷	23 Mar +8 days	—	—
2021	15	21–25 Jun 2021	Online	8 Mar +36 days	6 / 10	60%
2020	14	22–26 Jun 2020	Bergen 🇳🇴	2 Feb +11 days	—	—
2019	13	9–11 Oct 2019	Porto 🇵🇹	25 Apr +14 days	10 / 19	53%
2018	12	27–29 Jun 2018	Toulouse 🇫🇷	11 Mar +9 days	10 / 18	56%
2017	11	19–20 Jul 2017	Marburg 🇩🇪	5 Mar +9 days	9 / 16	56%
2016	10	5–7 Jul 2016	Vienna 🇦🇹	15 Feb +17 days	—	—
2015	9	22–24 Jul 2015	L’Aquila 🇮🇹	20 Feb	—	—

A missing year does not mean the conference did not meet: coverage before 2015 has not been verified.

Acceptance rate over time

0%30%60%

2021 60% 6/10
2019 53% 10/19
2018 56% 10/18
2017 56% 9/16

Scale runs to 60%; the mid-line marks 30%. No figure published for 2015, 2016, 2020, 2022, 2023, 2024, 2026.

Submissions

2021 10
2019 19
2018 18
2017 16

Scaled to this conference's own busiest year (19), so the shape is comparable across its editions but not between conferences.

How it has reviewed and published

Practice

Proceedings

•

Anonymity

Artifact evaluation

•

A blank cell means nobody has checked that year, not that the answer is no. Licences are read as recorded on the edition, never inherited from the publisher.

Where it has met

Loads tiles from OpenStreetMap, which will see your IP address.

10 cities. 20152026

10 cities, 8 countries, 2 continents. Met online 1 time.

CORE rank over time

B 2010–2020 C 2021–

Ranks before 2010 are unknown.

Timing

Closes: anywhere between 2 Dec and 15 Jun, over the last 6 editions.
Decision: 43 days after the deadline (21–66 over 11 editions)
Then: 88 days to the conference (56–120)

No call is open. If it runs again and keeps to its habits, expect the next one to close somewhere in that range — but that is this page reading a pattern, not an announcement.

Deadline habits

Extended: 9 of 9 editions
Typical: 7–36 days
Longest: 36 days
Not known: 2 editions

An edition counts as firm only when it was checked; a deadline with no earlier date recorded is counted as not known, not as firm.

Elsewhere

DBLP: tap ↗
CORE: portal entry 1236 ↗
Calendar: Subscribe to TAP
Data: All editions as JSON

Notes carried over

Acceptance: 56% (9/16) in 2017, 56% (10/18) in 2018, 53% (10/19) in 2019, 50% (7 long +2 tool + 1 short / 10) in 2020, 60% (6/10) in 2021

Extensions: 17 days (2016), 16 days (2017), 9 days (2018), 14 days (2019), 11 days (2020), 36 days (2021), 8 days (2022), 7 days (2023), 30 days (2024)

Kept verbatim from the old site while it is being turned into structured data.

Spotted something wrong on this page? Tell us, with a source if you have one ↗

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the call for papers and/or the Web sites and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers might then move deadlines without telling anyone, which may lead to inconsistencies. So, treat this small page as a well-meaning notebook rather than an authority 🤓