VSTTE – 6th Working Conference on Verified Software: Theories, Tools and Experiments
July 17 - 18, 2014 · Vienna, Austria
Important Dates
NOTE: Deadline for submission has been extended. The deadline is now FIRM.
| Abstract Submission | April 26, 2014 |
| Full Paper Submission | May 2, 2014 |
| Notification | June 2, 2014 |
Paper Submissions
Papers will be evaluated by at least three members of the Program Committee. We are accepting both long (limited to 16 pages) and short (limited to 10 pages) paper submissions, written in English. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere.
Research paper submissions must be in LNCS format and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Submissions of theoretical, practical, and experimental contributions are equally encouraged,
including those that focus on specific problems or problem domains.
Papers should be submitted through:
https://www.easychair.org/conferences/?conf=vstte2014.
Submissions that arrive late, are not in the proper format, or are too long will not be considered. The post-conference proceedings of VSTTE 2014 will be published by Springer-Verlag in the LNCS series. Authors of accepted papers will be requested to sign a form transferring copyright of their contribution to Springer-Verlag. The use of LaTeX and the Springer LNCS class files, obtainable from http://www.springer.de/comp/lncs/authors.html, is strongly encouraged.
Accepted papers will be published as post-Proceedings, to appear in Springer's Lectures Notes in Computer Science.