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. A verification competition will be held in parallel to the conference.
| Submissions: | August 31, 2011 |
| Notification: | October 20, 2011 |
| Event: | January 28, 2012-January 29, 2012 |