VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers Boston
|
Event Date: | January 15, 2023 - January 17, 2023 |
---|---|
Submission Deadline: | September 08, 2022 |
Notification of Acceptance: | October 13, 2022 |
Camera Ready Version Due: | November 10, 2022 |
Call for Papers |
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. |
Summary |
VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers will take place in Boston. It’s a 3 days event starting on Jan 15, 2023 (Sunday) and will be winded up on Jan 17, 2023 (Tuesday). VMCAI 2023 falls under the following areas: VERIFICATION, ABSTRACT INTERPRETATION, AUTOMATED REASONING, MODEL CHECKING, etc. Submissions for this Conference can be made by Sep 8, 2022. Authors can expect the result of submission by Oct 13, 2022. Upon acceptance, authors should submit the final version of the manuscript on or before Nov 10, 2022 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the VMCAI 2023
|
Credits and Sources |
[1] VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers |