Important Dates
February 2, 2020 |
Paper submission |
March 16, 2020 | Paper notification |
March 23, 2020 | Artifact submission |
April 14, 2020 | Artifact notification |
April 17, 2020 | Camera-ready submission |
June 22-26, 2020 | Conference |
June 22–26 | TAP 2020 | Bergen, Norway |
14th International Conference on Tests and Proofs |
Part of STAF 2020 |
February 2, 2020 |
Paper submission |
March 16, 2020 | Paper notification |
March 23, 2020 | Artifact submission |
April 14, 2020 | Artifact notification |
April 17, 2020 | Camera-ready submission |
June 22-26, 2020 | Conference |