The Coq mailing list

[Rayna Dimitrova <dimitrova AT cispa.de>]

[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://popl24.sigplan.org/home/VMCAI-2024
*******************************************************************************


*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://easychair.org/my/conference?conf=vmcai2024


*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://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines.
 


Submission link: https://easychair.org/my/conference?conf=vmcai2024


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 tools publicly available and submit an artifact. 
Tool papers are restricted to 12 pages in LNCS format, not counting 
references.


Case studies are expected to describe the use of verification, model 
checking, and abstract interpretation techniques in new application domains 
or industrial settings. Papers in this category do not necessarily need to 
present original research results but are expected to contain novel 
applications of formal methods and techniques as well as an evaluation of 
these techniques in the chosen application domain. Such papers are encouraged 
to discuss the unique challenges of transferring research ideas to a 
real-world setting and reflect on any lessons learned from this technology 
transfer experience. Case study papers are restricted to 20 pages in LNCS 
format, not counting references. (Shorter case study papers are also welcome.)


*Artifacts*
VMCAI 2024 allows authors to submit an artifact along with a paper. Artifacts 
are any additional material that substantiates the claims made in the paper, 
and ideally makes them fully replicable. Artifacts of interest include (but 
are not limited to):


* Software, Tools, or Frameworks
* Data sets
* Test suites
* Machine checkable proofs
* Any combination of them
* Any other artifact described in the paper


Artifact submission is optional. However, we highly encourage all authors to 
also submit an artifact. A successfully evaluated artifact can increase your 
chance of being accepted since the evaluation result of your artifact is 
taken into account during the paper review. The artifact will be evaluated in 
parallel with the submission by the artifact evaluation committee (AEC). The 
AEC will read the paper and evaluate the artifact on the following criteria:
- consistency with and replicability of results in the paper,
- completeness,
- documentation, and
- ease of use.
More information will be available on the conference webpage:
https://popl24.sigplan.org/home/VMCAI-2024


*Organizing Committee*
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Ori Lahav
Tel Aviv University
Sebastian Wolff
New York University