===============================================================================
------------------- CALL FOR PAPERS -------------------
VMCAI 2009
The Tenth International Conference on
Verification, Model Checking, and Abstract Interpretation
Savannah, GA, USA, January 18-20, 2009
Conference website:
http://cs.uni-muenster.de/vmcai09
===============================================================================
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. VMCAI'09 is co-located with the POPL'09 conference.
The program of VMCAI'09 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:
