[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[We apologize for possible cross-posting]
***
CALL FOR PAPERS
25th International Conference on Verification, Model Checking, and Abstract
Interpretation
VMCAI 2024
January 15-16, 2024
https://urldefense.com/v3/__https://popl24.sigplan.org/home/VMCAI-2024__;!!IBzWLUs!UKdfQbVvHiNUyr5t8VJ9ONX6W2gBHfoKIIs3APQmfwUAQtdpLyGcOulIfgF3Fl26dNV6xZbgVKRNgT2AFDOWYOvMgbbK7zLx7w$
***
*Call for Papers*
VMCAI 2024 is the 25th International Conference on Verification, Model
Checking, and Abstract Interpretation. The conference will be held on January
15-16, 2024, in London, UK, co-located with POPL 2024. 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.
*Scope*
The program of VMCAI 2024 will consist of refereed research papers as well as
invited talks. Research contributions can report new results as well as
experimental evaluations and comparisons of existing techniques.
Topics include, but are not limited to:
* Program Verification
* Model Checking
* Abstract Interpretation
* Abstract Domains
* Program Synthesis
* Static Analysis
* Type Systems
* Deductive Methods
* Program Logics
* First-Order Theories
* Decision Procedures
* Interpolation
* Horn Clause Solving
* Program Certification
* Separation Logic
* Probabilistic Programming and Analysis
* Error Diagnosis
* Detection of Bugs and Security Vulnerabilities
* Program Transformations
* Hybrid and Cyber-physical Systems
* Concurrent and distributed Systems
* Analysis of numerical properties
* Analysis of smart contracts
* Analysis of neural networks
* Case Studies on all of the above topics
Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic, and object-oriented programming.
*Important Dates AoE (UTC-12)*
August 31st, 2023 Paper submission
October 11th, 2023 Notification
October 31st, 2023 Camera-ready
Conference Submission Link
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=vmcai2024__;!!IBzWLUs!UKdfQbVvHiNUyr5t8VJ9ONX6W2gBHfoKIIs3APQmfwUAQtdpLyGcOulIfgF3Fl26dNV6xZbgVKRNgT2AFDOWYOvMgbYRC-twqg$
*Submissions*
Submissions are required to follow Springer’s LNCS format. The page limit
depends on the paper’s category (see below). In each category, additional
material beyond the page limit may be placed in a clearly marked appendix to be
read at the discretion of the reviewers and to be omitted in the final version.
Formatting style files and further guidelines for formatting can be found at
the Springer website:
https://urldefense.com/v3/__https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines__;!!IBzWLUs!UKdfQbVvHiNUyr5t8VJ9ONX6W2gBHfoKIIs3APQmfwUAQtdpLyGcOulIfgF3Fl26dNV6xZbgVKRNgT2AFDOWYOvMgbYLeQpHPA$
.
Submission link:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=vmcai2024__;!!IBzWLUs!UKdfQbVvHiNUyr5t8VJ9ONX6W2gBHfoKIIs3APQmfwUAQtdpLyGcOulIfgF3Fl26dNV6xZbgVKRNgT2AFDOWYOvMgbYRC-twqg$
All accepted papers will be published in Springer’s Lecture Notes in Computer
Science series. Submissions will undergo a single-blind review process. There
will be three categories of papers: regular papers, tool papers, and case
studies. Papers in each category have a different page limit and will be
evaluated differently.
Regular papers clearly identify and justify an advance to the field of
verification, abstract interpretation, or model checking. Where applicable,
they are supported by experimental validation. Regular papers are restricted to
20 pages in LNCS format, not counting references.
Tool papers present a new tool, a new tool component, or novel extensions to an
existing tool. They should provide a short description of the theoretical
foundations with relevant citations and emphasize the design and implementation
concerns, including software architecture and core data structures. A regular
tool paper should give a clear account of the tool’s functionality, discuss the
tool’s practical capabilities with reference to the type and size of problems
it can handle, describe experience with realistic case studies, and, where
applicable, provide a rigorous experimental evaluation. Papers that present
extensions to existing tools should clearly focus on the improvements or
extensions with respect to previously published versions of the tool,
preferably substantiated by data on enhancements in terms of resources and
capabilities. Authors are strongly encouraged to make their