[TYPES/announce] VMCAI 2021 -- updated call for papers. Submission deadline: October 11

Thu Oct 8 11:36:35 EDT 2020

[Apologies for multiple copies of this announcement]

*******************************************************************************
                           UPDATED CALL FOR PAPERS

22nd International Conference on Verification, Model Checking, and Abstract
                                Interpretation

                                  VMCAI 2021
                             January 17-19, 2021 
                  https://popl21.sigplan.org/home/VMCAI-2021 <https://popl21.sigplan.org/home/VMCAI-2021>
*******************************************************************************

*Call for Papers*
VMCAI 2021 is the 22nd International Conference on Verification, Model 
Checking, and Abstract Interpretation. The conference will be held on January 
17-19, 2021, in Copenhagen, Denmark, as a physical, virtual, or hybrid 
physical/virtual meeting depending on the COVID-19 situation. 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 2021 will consist of refereed research papers as well as
invited lectures and tutorials. 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)*
October 11th, 2020 Paper submission
November 10th, 2020 Notification
November 16th, 2020 Camera-ready

Conference Submission Link
https://easychair.org/conferences/?conf=vmcai2021 <https://easychair.org/conferences/?conf=vmcai2021>

*Submissions*
Submissions are required to follow Springerb s LNCS format. The page limit
depends on the paperb 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 <https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>.
Submission link: https://easychair.org/conferences/?conf=vmcai2021 <https://easychair.org/conferences/?conf=vmcai2021>
Submissions will undergo a single-blind review process. Accepted papers will be 
published in Springerb s Lecture Notes in Computer Science series.

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 toolb s
functionality, discuss the toolb 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 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 2021 allows authors to submit an artifact along a paper. Artifacts are
any additional material that substantiates the claims made in the paper, and
ideally makes them fully replicable. Submitting an artifact is encouraged but
not required. 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://popl21.sigplan.org/home/VMCAI-2021 <https://popl21.sigplan.org/home/VMCAI-2021>

*Organizing Committee*

Fritz Henglein
University of Copenhagen, Denmark
Sharon Shoham
Tel Aviv University, Israel
Yakir Vizel
The Technion, Israel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201008/e8249b2d/attachment-0001.htm>