Important Dates
January 31, 2021 | Paper submission |
March 15, 2021 | Paper notification |
March 23, 2021 | Artifact submission |
April 15, 2021 | Artifact notification |
April 18, 2021 | Camera-ready submission |
June 21-25, 2021 | Conference |
June 21–25 | TAP 2021 | Bergen, Norway |
15th International Conference on Tests and Proofs |
Part of STAF 2021 |
January 31, 2021 | Paper submission |
March 15, 2021 | Paper notification |
March 23, 2021 | Artifact submission |
April 15, 2021 | Artifact notification |
April 18, 2021 | Camera-ready submission |
June 21-25, 2021 | Conference |