5th International Conference on Tests & Proofs
Zurich, June 30 - July 01, 2011
Part of the TOOLS Federated Conferences 2011
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.