VMCAI 2020
Sun 19 - Tue 21 January 2020 New Orleans, Louisiana, United States
co-located with POPL 2020
Conference Editions
Sun 19 - Tue 21 January 2020, New Orleans, Louisiana, United States

VMCAI 2020 with POPL 2020

Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). 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 that combine these and related areas. VMCAI 2020 will be the 21st edition in ...

Sun 13 - Sat 19 January 2019, Cascais, Portugal

VMCAI 2019 with POPL 2019

Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2019. 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 that combine these and related areas. VMCAI 2019 will be the 20th edition in the series. ...

Sun 7 - Tue 9 January 2018, Los Angeles, California, United States

VMCAI 2018 with POPL 2018

Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2018. 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 that combine these and related areas. VMCAI 2018 will be the 19th edition in the series. ...

Sun 15 - Tue 17 January 2017,

VMCAI 2017 with POPL 2017

Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2017 conference. 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 that combine these and related areas. VMCAI 2017 will be the 18th edition in th ...

Sun 17 - Tue 19 January 2016, St. Petersburg, Florida, United States

VMCAI with POPL 2016

Welcome to the website of the International Conference on Verification, Model Checking, and Abstract Interpretation 2016 conference. The VMCAI banquet, which is included in the VMCAI registration fee, will be held at the Museum of Fine Arts (255 Beach Drive NE) on Monday January 18 at 18:30 - 22:30. VMCAI attendees (with a badge) are allowed to enter the museum before 18:30.