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

Website http://www.adcom2009.com/ | Edit Freely

Category VMCAI 2010

Deadline: August 21, 2009 | Date: January 17, 2010

Venue/Country: Madrid, Spain

Updated: 2010-06-04 19:32:22 (GMT+9)

Call For Papers - CFP

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