TAP location images

5th International Conference on Tests & Proofs

Zurich, June 30 - July 01, 2011

Part of the TOOLS Federated Conferences 2011


  • Research papers: full papers with at most 16 pages in LNCS format (pdf), which have to be original, unpublished and not submitted elsewhere.
  • Short contributions: work in progress, (industrial) experience reports or tool demonstrations, position statements; an extended abstract with at most 6 pages in LNCS format (pdf) is expected.

Definitive submissions for accepted papers should follow the publication format of the Springer LNCS. See guidelines and templates (Word, LaTeX, FrameMaker) at http://www.springer.com. We recommend that you use this format for preparing your initial submission. The maximum number of pages is based on this format.

In order to submit a paper you should first open an account at EasyChair: http://www.easychair.org/conferences/?conf=tap2011.

Logging in as an author, you will be asked to provide:

  1. The list of authors with their personal data
  2. The title of the paper
  3. The abstract of the paper (plain text)
  4. A list of up to 5 keywords
  5. The paper itself in pdf format

Please provide a meaningful abstract and carefully choose keywords since they are important in assigning reviewers to your work.

By submitting a paper to TAP, authors warrant that the work is original and that the paper or a similar contribution is neither published nor considered for publication elsewhere.

TAP footer image