Email Gateway (Aug 17 2023 at 09:40): Email Gateway (Aug 17 2023 at 09:40):From: Ori Lahav <orilahav@gmail.com>
[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:
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):
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:
Organizing Committee
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Ori Lahav
Tel Aviv University
Sebastian Wolff
New York University
Last updated: Apr 28 2024 at 20:16 UTC