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) |
|
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.
|