12th International Conference on Tests & Proofs
Toulouse, June 29 - 31, 2018
Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC)
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:
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.