header by Frank Schmidtke

10th International Conference on Tests & Proofs

5-7 July 2016, Vienna, Austria


Submission instructions

TAP 2016 accepts papers of three kinds:

  • 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).

All submitted papers must be written in English and present original work not published or submitted for publication elsewhere.

Submission must be formatted using Springer's LNCS format (see instructions at LNCS). The page limits above refer to papers in this format, and include figures, tables, and appendices; references do not count towards page limits.

Papers must be submitted in PDF format via Easychair.

All contributions will undergo a rigorous refereeing process. Accepted papers will be published as conference proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series. At least one author of every accepted paper is required to register and present the paper at the conference.