11h International Conference on Verification, Model Checking, and Abstract Interpretation, Madrid, Spanien

Abbrevation

VMCAI

Link

http://software.imdea.org/events/vmcai10/

City

Madrid

Country

Spain

Deadline Paper

2009-12-22

Start Date

2010-01-17

End Date

2010-01-19

Abstract

<pre>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. The program of VMCAI′10 will consist of invited lectures, invited tutorials, and 21 contributed talks. The full programme is available at the conference web site. </pre>