VMCAI
Mon 20 - Tue 21 January 2025 Denver, Colorado, United StatesVMCAI 2025 with POPL 2025Welcome to the website of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2025). 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 2025 will be the 25th edition in ... |
Mon 15 - Tue 16 January 2024 London, United KingdomVMCAI 2024 with POPL 2024Welcome to the website of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2024). 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 2024 will be the 25th edition in ... |
Mon 16 - Tue 17 January 2023 Boston, Massachusetts, United StatesVMCAI 2023 with POPL 2023Welcome to the website of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2023). 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 2023 will be the 24th edition in ... |
Sun 16 - Tue 18 January 2022 Philadelphia, Pennsylvania, United StatesVMCAI 2022 with POPL 2022Welcome to the website of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2022). 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 2022 will be the 23rd edition in ... |
Sun 17 - Fri 22 January 2021 OnlineVMCAI 2021 with POPL 2021Welcome to the website of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021). 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 2021 will be the 22nd edition in ... |
Sun 19 - Tue 21 January 2020 New Orleans, Louisiana, United StatesVMCAI 2020 with POPL 2020Welcome 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, PortugalVMCAI 2019 with POPL 2019Welcome 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 StatesVMCAI 2018 with POPL 2018Welcome 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 2017Welcome 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 StatesVMCAI with POPL 2016Welcome 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. |
Shankaranarayanan KrishnaCo-chair
IIT Bombay, India
Sriram SankaranarayananCo-chair
University of Colorado, Boulder
United States
Ashutosh TrivediCo-chair
University of Colorado Boulder
United States
Ernst Moritz HahnArtifact Evaluation Co-Chair
University of Twente
Netherlands
Andrea TurriniArtifact Evaluation Co-Chair
Institute of Software, Chinese Academy of Sciences
China