9th International Conference on Tests & Proofs

22–24 July 2015, L'Aquila, Italy


TAP 2015 will accept two types of papers and tutorials:

  • Regular research papers: full papers with at most 16 pages in LNCS format (PDF), which have to be original, unpublished and not submitted elsewhere. Research papers should clearly describe the addressed problem, the relevant state-of-the-art, the scientifically-founded solution, and the benefits of the presented approach.
  • 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. The same evaluation criteria apply to short papers as to regular research papers. Short papers will be reviewed to the same standards of quality as regular research papers.
  • Tutorial proposals: TAP 2015 further invites one-hour tutorial presentation surveying the state-of-the-art of any research field related to the topics of TAP. Tutorial proposals shall have a maximum length of 3 pages in LNCS format (PDF) and provide information about the content, a short outline, information about the speakers and previous related tutorials given by the speakers (if any).

Accepted full and short papers will be published in the Springer LNCS series and will be available at the conference. Accepted tutorials will be assigned a slot of 60 minutes during the conference.

Please submit your papers via Easychair.