VMCAI 2021

Submission timeline

• 11 Oct 2020 Full paper AoE 5 Oct 2020 → 11 Oct 2020 +6 days
• 10 Nov 2020 Notification 6 Nov 2020 → 10 Nov 2020 +4 days

• 17 Jan 2021 Conference opens

What to submit

Format

20 pages LNCS + references + appendix (regular / case studies) / 12 pages + references (tool)

Proceedings

Springer LNCS — Paywalled, for-profit

Co-located with POPL. VMCAI 2021 allows authors to submit an artifact along a paper.

Call for papers

• After a deadline extension VMCAI-2021-extended.txt · TXT · shown below
• As first published VMCAI-2021.txt · TXT

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at popl21.sigplan.org/home/VMCAI-2021.

             [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

*******************************************************************************

 

 

*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

 

*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.

Submission link: 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

 

 

 

*Organizing Committee*

 

Fritz Henglein

University of Copenhagen, Denmark

Sharon Shoham

Tel Aviv University, Israel

Yakir Vizel

The Technion, Israel