International Conference on Verification, Model Checking, and Abstract Interpretation

For researchers from the verification, model verification, and abstract understanding communities, VMCAI provides a forum for interacting, trans-fertilizing, and hybrid processes that are linked with those areas. The 23rd edition in the series will be VMCAI 2022.

Event Contact
Address: The Westin Philadelphia, Philadelphia, Pennsylvania
Phone: TBC
1. Building & Construction 2. Electric & Electronics 3. Agriculture & Forestry 4. Arts & Crafts 5. Medical & Pharma 6. Industrial Engineering 7. Travel & Tourism 8. Science & Research
Cornell is a privately endowed research university and a partner of the State University of New York. As the federal land-grant institution in New York State, we have a responsibility—unique within the Ivy League—to make contributions in all fields of knowledge in a manner that prioritizes public engagement to help improve the quality of life in our state, the nation, the world.
Sign in to your account