Verification, Model Checking, and Abstract Interpretation (VMCAI)

Recent conferences

• VMCAI 2015 in Mumbai, India
• VMCAI 2014 in San Diego, USA
• VMCAI 2013 in Rome, Italy
• VMCAI 2012 in Philadelphia, USA