8th International Conference on Tests & Proofs

July 24 - July 25, 2014, York, UK


TAP 2014 will accept two types of papers and tutorials:

  • 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 full research papers. Short papers will be reviewed to the same standards of quality as full research papers.
  • Tutorials: TAP 2014 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 of the tutorial, a short outline, and information about the speakers.

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