Our Sponsors
VSTTE 2012 - Fourth International Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2012
Website www.cse.psu.edu/popl/12/ |
Edit Freely
Category VSTTE 2012
Deadline: October 10, 2011 | Date: January 28, 2012-January 29, 2012
Venue/Country: Philadelphia, U.S.A
Updated: 2011-07-17 17:35:36 (GMT+9)
Call For Papers - CFP
The Fourth International Conference on Verified Software: Theories, Tools, and Experiments will take place on January 28-29, 2012. The focus of the conference is the development of systematic methods for specifying, building, and verifying software. The goal of this conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. Historically, the conference came out of the Verified Software Initiative (VSI), a cooperative, international initiative directed at the scientific challenges of large-scale software verification. The inaugral VSTTE conference was held at ETH Zurich in October 2005. Starting in 2008, the conference became a biennial event: VSTTE 2008 was held in Toronto, and VSTTE 2010 was held in Edinburgh.Topics of interest include:Specification and verification techniquesTool support for specification languagesTool for various design methodologiesTool integration and plug-insAutomation in formal verificationTool comparisons and benchmark repositoriesCombination of tools and techniques (e.g. formal vs. semiformal, software specification vs. engineering techniques)Customizing tools for particular applicationsChallenge problemsRefinement methodologiesRequirements modelingSpecification languagesSpecification/verification case-studiesSoftware design methodsProgram logicSUBMISSIONSSubmitted research papers and system descriptions must be original and not submitted for publication elsewhere. Research paper submissions are limited to 15 proceedings pages in LNCS format and must include a cogent and self-contained description of the ideas, methods and results, together with a comparison to existing work. System descriptions are also limited to 15 proceedings pages in LNCS format. Authors are encouraged to submit work in progress, particularly if the work involves collaboration, theory unification, and tool integration. Papers can be submitted athttps://www.easychair.org/login.cgi?conf=vstte12
Submissions that arrive late, are not in the proper format, or are too long will not be considered. The proceedings of VSTTE 2012 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.Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.