VMCAI: Verification, Model Checking and Abstract Interpretation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
VMCAI 2023 International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Jan 15, 2023 - Jan 17, 2023 Boston Sep 8, 2022
VMCAI 2022 Verification, Model Checking and Abstract Interpretation
Jan 16, 2022 - Jan 18, 2022 Philadelphia, Pennsylvania, United State Sep 9, 2021
VMCAI 2019 International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 13, 2019 - Jan 15, 2019 Cascais/Lisbon, Portugal Oct 1, 2018
VMCAI 2018 International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 7, 2018 - Jan 9, 2018 Los Angeles, CA, USA Oct 8, 2017
VMCAI 2017 International Conference on Verification, Model Checking,and Abstract Interpretation
Jan 15, 2017 - Jan 17, 2017 Paris, France Sep 21, 2016 (Sep 18, 2016)
VMCAI 2016 17th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 17, 2016 - Jan 19, 2016 St. Petersburg, Florida, United States Sep 11, 2015 (Sep 4, 2015)
VMCAI 2015 16th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 12, 2015 - Jan 14, 2015 Mumbai, India Sep 12, 2014 (Sep 5, 2014)
VMCAI 2014 Verification, Model Checking, and Abstract Interpretation
Jan 19, 2014 - Jan 21, 2014 San Diego Sep 18, 2013 (Sep 11, 2013)
VMCAI 2012 13th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 22, 2012 - Jan 24, 2012 Philadelphia, USA Aug 19, 2011 (Aug 12, 2011)
VMCAI 2011 12th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 23, 2011 - Jan 25, 2011 Austin, TX, USA Aug 29, 2010 (Aug 22, 2010)
 
 

Present CFP : 2023

VMCAI 2023 Call for Papers

VMCAI 2023 is the 24th International Conference on Verification, Model Checking, and Abstract Interpretation. The conference will be held during January 15-17, 2023 (colocated with POPL 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.

Important Dates
All deadlines are AoE (Anywhere on Earth).
* Paper submission: September 8th, 2022
* Artifact submission: September 15th, 2022
* Notification: October 13th, 2022
* Camera-ready version due: November 10th, 2022

Paper Submission
All paper submissions will undergo a single-blind review process and will be judged on the basis of significance, relevance, correctness, originality, and clarity. Submission link: https://easychair.org/my/conference?conf=vmcai2023


Regular papers (20 pages max.)
Tool papers (12 pages max.)
Case study (20 pages max.

All submissions will be in Springer LNCS style.

Artifacts
As in previous years, we encourage authors to submit a virtual machine image containing any artifacts and evaluations presented in the paper. Artifact submission is optional. Artifact evaluation will be concurrent with paper review.

The full CFP at https://vmcai-2023.github.io/call-for-papers has additional details.
 

Related Resources

TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI 2022   Verification, Model Checking and Abstract Interpretation
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SPIN 2023   29th International Symposium on Model Checking of Software
FSEN 2023   Fundamentals of Software Engineering
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
iccq 2023   The Third International Conference on Code Quality
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems