Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
TAP 2019 - 13th International Conference on Tests and Proofs October 9–11, 2019 Porto, Portugal Part of the 3rd World Congress on Formal Methods
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).
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).
Other CFPs
- 19th International Conference on Runtime Verification
- 21th International Symposium on Principles and Practice of Declarative Programming
- International Conference on Mathematics of Program Construction (MPC)
- 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2019)
- 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS
Last modified: 2019-01-06 20:40:48