VSTTE 2012

Verified Software: Theories, Tools and Experiments
January 28-29, 2012
   Philadelphia, USA
     (co-located with POPL)

Sponsored by
National Science Foundation Logo                 Microsoft Research Logo

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 techniques
  • Tool support for specification languages
  • Tool for various design methodologies
  • Tool integration and plug-ins
  • Automation in formal verification
  • Tool comparisons and benchmark repositories
  • Combination of tools and techniques (e.g. formal vs. semiformal, software specification vs. engineering techniques)
  • Customizing tools for particular applications
  • Challenge problems
  • Refinement methodologies
  • Requirements modeling
  • Specification languages
  • Specification/verification case-studies
  • Software design methods
  • Program logic


Submitted 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 at

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.


Submission deadline 31 Aug 2011    10 Sep 2011  (Submissions are now closed)  
Notification of acceptance 20 Oct 2011  
Final versions due  17 Nov 2011  
Early registration deadline 24 Dec 2011 
Main Conference  28-29 Jan 2011  


Registration for the VSTTE conference is available through the POPL web site.  The registration page can also be accessed directly at this URL.

The conference hotel is the Sheraton Society Hill Hotel.  You can make hotel reservations at the conference rate of $139/night via this URL, or by calling the hotel directly at +1-215-238-6000 and requesting the group ACM/POPL 2012.

Local information and details of other conferences and workshops being held in conjunction with VSTTE/POPL are also available from the POPL page.


Rupak MajumdarMax Planck Institute for Software Systems
Wolfgang PaulSaarland University

Rustan LeinoMicrosoft Research
Francesco LogozzoMicrosoft Research


Ernie Cohen Microsoft Research


Rajeev JoshiNASA Jet Propulsion Laboratory
Peter MüllerETH Zurich
Andreas Podelski University of Freiburg


Clark Barrett New York University
Lars Birkedal IT University of Copenhagen
Patrick Cousot Ecole normale Supérieure, Paris and New York University
Leonardo de Moura Microsoft Research
Jean-Christophe FilliatreCNRS Université Paris Sud
John Hatcliff Kansas State University
Bart Jacobs Katholieke Universiteit Leuven
Ranjit Jhala University of California,San Diego
Rajeev Joshi NASA Jet Propulsion Laboratory
Gerwin Klein National ICT Australia Ltd (NICTA)
Viktor Kuncak EPF Lausanne
Gary T. Leavens University of Central Florida
Rustan Leino Microsoft Research
Pete Manolios Northeastern University
Peter Müller ETH Zurich
Tobias Nipkow Technische Universität München
Matthew Parkinson Microsoft Research
Corina Pasareanu NASA Ames Research Center
Wolfgang Paul Saarland University
Andreas Podelski University of Freiburg
Natasha Sharygina University of Lugano
Willem Visser University of Stellenbosch
Thomas Wies Institute of Science and Technology (IST) Austria


Gudmund Grov University of Edinburgh


Tony HoareMicrosoft Research
Andrew IrelandHeriott-Watt University
Jay Misra UT Austin
Natarajan Shankar SRI 
Jim WoodcockUniversity of York