7th International Conference on
Tests & Proofs
Budapest, Hungary, June 18-19, 2013


TAP 2013 will accept two types of papers:

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

Accepted papers will be published in the Springer LNCS series and will be available at the conference. 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: https://www.easychair.org/conferences/?conf=tap2013.

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.

Click here to download the copyright form for TAP papers.


Now Open:
Please use the registration on the STAF website.

Important Dates

  • Abstract submission:
    January 25, 2013
  • Paper submission:
    February 1, 2013
  • Notification:
    March 3, 2013
  • Camera ready version:
    April 5, 2013
  • TAP conference:
    June 18-19, 2013
  • STAF conferences:
    June 17 - 20, 2013

Program Chairs


STAF: Software, Technologies, Applications and Foundations 2013


Springer LNCS

The SPaCIoS Project