6th International Conference on
Tests & Proofs
May 31 - June 1, 2012, Prague, Czech Republic

Submission

TAP 2012 accepts two different kinds of submissions:

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

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.

Registration

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

Important Dates

  • Abstract submission:
    January 11, 2012
  • Paper submission:
    January 18, 2012
  • Notification:
    March 2, 2012
  • Camera ready version:
    March 19, 2012
  • TAP conference:
    May 31 - June 1, 2012
  • TOOLS conferences:
    May 29 - June 01, 2012

Chairs

Conference Chairs:

  • Yuri Gurevich
  • Bertrand Meyer

Program Chairs:

Co-location

TOOLS Conference Servies

Proceedings

Springer LNCS

The Aniketos Project