ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

TAP 2019 - 13th International Conference on Tests and Proofs October 9–11, 2019 Porto, Portugal Part of the 3rd World Congress on Formal Methods

Date2019-10-07 - 2019-10-11


VenuePorto, Portugal Portugal



Topics/Call fo Papers

TAP 2019 accepts papers of three kinds of papers:
Regular research papers: full submissions describing original research, of up to 16 pages (excluding references).
Tool demonstration papers: submissions describing the design and implementation of an analysis/verification tool or framework, of up to 8 pages (excluding references). The tool/framework described in a tool demonstration paper should be available for public use.
Short papers: submissions describing preliminary findings, proofs of concepts, and exploratory studies, of up to 6 pages (excluding references).

Last modified: 2019-01-06 20:40:48