VMCAI 2011 - 12th International Conference on Verification, Model Checking and Abstract Interpretation

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.

The program of VMCAI'11 will consist of invited lectures, tutorials, refereed research papers, and tool demonstrations. Research contributions can report new results as well as experimental evaluations and comparisons of existing techniques. Topics include, but are not limited to:
program verification
model checking
abstract interpretation
static analysis
deductive methods
program certification
debugging techniques
abstract domains
type systems
optimization

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic and object-oriented programming. Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with refereed proceedings. Past proceedings have been published by Springer Verlag as volumes in the Lecture Notes in Computer Science series, and it is anticipated that the proceedings for VMCAI'11 will be published as an LNCS volume, too.

Important Dates

Submission deadline:
abstracts must be received by August 22, 2010, and
complete papers by August 29, 2010.
Notification of acceptance: October 10, 2010
Final version due: November 3, 2009
Conference: January 23-25, 2011
Submission

The page limit for submissions is 15 pages in Springer's LNCS format. Additional material may be placed in an appendix, to be read at the discretion of the reviewers and to be omitted in the final version. Formatting style files and further guidelines for formatting can be found at http://www.springer.de/comp/lncs/authors.html. Submissions deviating from these guidelines risk summary rejection.

Please prepare your submission in accordance with the rules described above and submit a pdf file via http://www.easychair.org/conferences/?conf=vmcai10.

Venue and Accommodation

VMCAI'11 is co-located with POPL'11. For information about venue and accomodation please visit the POPL pages.
Committees

Program Chairs

Ranjit Jhala, University of California, San Diego (jhala AT cs.ucsd.edu)
David Schmidt, Kansas State University (das AT cis.ksu.edu)