posted by user: cezarad || 3485 views || tracked by 10 users: [display]

VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: https://vmcai-2023.github.io
 
When Jan 15, 2023 - Jan 17, 2023
Where Boston
Submission Deadline Sep 8, 2022
Notification Due Oct 13, 2022
Final Version Due Nov 10, 2022
Categories    verification   abstract interpretation   automated reasoning   model checking
 

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.

Related Resources

VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
FDL 2024   Forum on specification and Design Languages
SPIN 2024   30th International Symposium on Model Checking Software
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
NFM 2024   NASA Formal Methods Symposium
NFM 2024   NASA Formal Methods Symposium
CAV 2024   36th International Conference on Computer Aided Verification
MODELSWARD 2024   12th International Conference on Model-Based Software and Systems Engineering
SMM4H 2024   The 9th Social Media Mining for Health Research and Applications Workshop and Shared Tasks — Large Language Models (LLMs) and Generalizability for Social Media NLP