<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">VMCAI 2023 Call for Papers </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">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.</div><p class="" style="font-family: "Helvetica Neue"; margin: 0px 0px 2px; font-stretch: normal; font-size: 16px; line-height: normal; min-height: 19px;"><b class=""></b><br class=""></p><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Important Dates</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">All deadlines are AoE (Anywhere on Earth).</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">* Paper submission: September 8th, 2022</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">* Artifact submission: September 15th, 2022</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">* Notification: October 13th, 2022 </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">* Camera-ready version due: November 10th, 2022 </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Paper Submission</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">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: <a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=vmcai2023__;!!IBzWLUs!Xf-eKi_chMZutH8cPUPH6ItwbJV_Ug23a2ltbs1O8vy8BuzvoHRWR4asxmikzVLmZc1mf6F16DZ__gHd0rDi9ATHIqtBrmjOF4A1R1E$" class=""><span class="" style="color: rgb(220, 161, 13);">https://easychair.org/my/conference?conf=vmcai2023</span></a> </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Regular papers (20 pages max.) </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Tool papers (12 pages max.) </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Case study (20 pages max.</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">All submissions will be in Springer LNCS style. </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">Artifacts</div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal;">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. </div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; min-height: 15px;"><br class=""></div><div class="" style="font-family: "Helvetica Neue"; font-size: 13px; margin: 0px; font-stretch: normal; line-height: normal; color: rgb(220, 161, 13);"><span class="" style="color: rgb(0, 0, 0);">The full CFP at <a href="https://urldefense.com/v3/__https://vmcai-2023.github.io/call-for-papers__;!!IBzWLUs!Xf-eKi_chMZutH8cPUPH6ItwbJV_Ug23a2ltbs1O8vy8BuzvoHRWR4asxmikzVLmZc1mf6F16DZ__gHd0rDi9ATHIqtBrmjOeyEkH70$" class="">https://vmcai-2023.github.io/call-for-papers</a> has additional details. </span></div></body></html>