VMCAI 2010 - Eleventh International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI

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'10 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. The proceedings shall be published by Springer Verlag as a volume of Lecture Notes in Computer Science series.

Invited Speakers