[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://easychair.org/my/conference?conf=vmcai2023__;!!IBzWLUs!W1HLE1_Ymt2mxEg5R9xV6tklB02iw9rnLZspkIgJl6Eg9hlIdB4DzWMDzqTZkA-7TNXjXiIzQ3-8pjaV0vfp_wEmbQoYxU8isDiKYdA$
<https://urldefense.com/v3/__https://easychair.org/my/conference?conf=vmcai2023__;!!IBzWLUs!Xf-eKi_chMZutH8cPUPH6ItwbJV_Ug23a2ltbs1O8vy8BuzvoHRWR4asxmikzVLmZc1mf6F16DZ__gHd0rDi9ATHIqtBrmjOF4A1R1E$>
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://urldefense.com/v3/__https://vmcai-2023.github.io/call-for-papers__;!!IBzWLUs!W1HLE1_Ymt2mxEg5R9xV6tklB02iw9rnLZspkIgJl6Eg9hlIdB4DzWMDzqTZkA-7TNXjXiIzQ3-8pjaV0vfp_wEmbQoYxU8iFTAFhKU$
<https://urldefense.com/v3/__https://vmcai-2023.github.io/call-for-papers__;!!IBzWLUs!Xf-eKi_chMZutH8cPUPH6ItwbJV_Ug23a2ltbs1O8vy8BuzvoHRWR4asxmikzVLmZc1mf6F16DZ__gHd0rDi9ATHIqtBrmjOeyEkH70$>
has additional details.
