IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
VMCAI 2023 : International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers

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

  • Short Name: VMCAI 2023
  • Full Name: International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of VMCAI 2023
  • Event Type: Conference
  • Website Link: https://vmcai-2023.github.io
  • Location/Address: Boston


Credits and Sources

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


Check other Conferences, Workshops, Seminars, and Events


OTHER VERIFICATION EVENTS

SAS 2023: Static Analysis Symposium
Cascais (Lisbon), Portugal
Oct 22, 2023
FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
OVERLAY 2022: 4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
Udine (Italy)
Nov 28, 2022
FAACS 2022: 6th International Workshop on Formal Approaches for Advanced Computing Systems
Prague, Czechia
Sep 19, 2022
ASYDE 2022: Automated and verifiable Software sYstem DEvelopment
Computer Science Humboldt Univ. Berlin
Sep 28, 2022
SHOW ALL

OTHER ABSTRACT INTERPRETATION EVENTS

SAS 2023: Static Analysis Symposium
Cascais (Lisbon), Portugal
Oct 22, 2023
VMCAI 2021: Verification, Model Checking and Abstract Interpretation
Copenhagen, Denmark
Jan 17, 2021
SAS 2020: Static Analysis Symposium
Chicago, Illinois, United States
Nov 18, 2020
NSAD 2019: Numerical and Symbolic Abstract Domains
Porto
Oct 8, 2019
SHOW ALL

OTHER AUTOMATED REASONING EVENTS

LANMR 2022: Fourteenth Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning
Mexico City
Jun 16, 2022
UNIF 2020: 34th International Workshop on Unification
Paris, France
Jun 29, 2020
DPSW 2020: Declarative Problem Solving Workshop
Santiago de Compostela Spain
Jun 09, 2019
SHOW ALL

OTHER MODEL CHECKING EVENTS

VSTTE 2022: 14th International Conference on Verified Software: Theories, Tools, and Experiments
Trento, Italy
Oct 17, 2022
JPF 2019: Java Pathfinder Workshop 2019
San Diego, CA, USA
Nov 11, 2019
ATVA 2019: International Symposium on Automated Technology for Verification and Analysis Conference Series : Automated Technology for Verification and Analysis  
Taipei, Taiwan
Oct 28, 2019
SHOW ALL