posted by user: Abdallah || 11171 views || tracked by 11 users: [display]

VSTTE 2012 : Verified Software: Theories, Tools and Experiments

FacebookTwitterLinkedInGoogle


Conference Series : Verified Software: Theories, Tools, Experiments
 
Link: https://sites.google.com/site/vstte2012/
 
When Jan 28, 2012 - Jan 29, 2012
Where Philadelphia, USA
Submission Deadline Aug 31, 2011
Notification Due Oct 20, 2011
Final Version Due Nov 15, 2011
Categories    verification   formal methods   specification   logic
 

Call For Papers

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

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


SUBMISSIONS

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

https://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.

IMPORTANT DATES

Submission deadline 31 Aug 2011
Notification of acceptance 20 Oct 2011
Final versions due 15 Nov 2011
Main Conference 28-29 Jan 2011

GENERAL CHAIR

Ernie Cohen European Microsoft Innovation Center

PROGRAM CHAIRS

Rajeev Joshi NASA Jet Propulsion Laboratory
Peter Müller ETH Zurich
Andreas Podelski University of Freiburg

PROGRAM COMMITTEE

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 Filliatre CNRS 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

PUBLICITY CHAIR

Gudmund Grov University of Edinburgh

STEERING COMMITTEE

Tony Hoare Microsoft Research
Jay Misra UT Austin
Natarajan Shankar SRI
Jim Woodcock University of York

Related Resources

IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
FM 2021   Formal Methods 2021
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ISIPTA 2021   The Twelfth International Symposium on Imprecise Probability: Theories and Applications
F-IDE 2021   6th Workshop on Formal Integrated Development Environment
PARMA-DITAM 2021   PARMA-DITAM: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures & 10th Workshop on Design Tools and Architectures for Multi-Core
SMT 2021   SMT 2021 -- 19th International Workshop on Satisfiability Modulo Theories