VMCAI 2024 - 25th International Conference on Verification, Model Checking, and Abstract Interpretation
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. VMCAI 2024 will be the 25th edition in the series.
VMCAI will take place during January 15-16, 2024 as a physical (in-person) event. For each accepted paper at least one author is required to register for the conference and present the paper in person.
Tickets
Additional Information
VISA SUPPORT LETTERS
If you plan to attend the POPL 2024 conference: To receive a Visa support letter from ACM please check for more information over here, https://www.acm.org/special-interest-groups/volunteer-resources/conference-planning/conference-registration#Visa. For visa support letters, refer all requests to supportletters@acm.org. Please allow up to 10 business days to receive a letter. All requests are handled in the order they are received.
If you do not plan to attend the POPL 2024 conference: In case you don't plan to attend the POPL 2024 conference at all please contact VMCAI organizers via https://popl24.sigplan.org/contact2/VMCAI-2024-papers