posted by user: ndisp || 3812 views || tracked by 19 users: [display]

VMCAI 2019 : International Conference on Verification, Model Checking, and Abstract Interpretation

FacebookTwitterLinkedInGoogle


Conference Series : Verification, Model Checking and Abstract Interpretation
 
Link: https://popl19.sigplan.org/track/VMCAI-2019
 
When Jan 13, 2019 - Jan 15, 2019
Where Cascais/Lisbon, Portugal
Submission Deadline Oct 1, 2018
Notification Due Nov 12, 2018
Final Version Due Nov 25, 2018
Categories    verification   model checking   abstract interpretation   formal methods
 

Call For Papers

Call for Papers

VMCAI 2019 welcomes research papers on any topic related to verification, model checking, and abstract interpretation. 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 Systems, Analysis of Numerical Properties.

Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.
Submissions

Submissions are restricted to 20 pages in Springer’s LNCS format, not counting references. Additional material may be placed in an 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.

Submissions must be uploaded via the paper submission site.

Accepted papers will be published in Springer’s Lecture Notes in Computer Science series.

Important Dates AoE (UTC-12h)
Mon 1 Oct 2018new
Paper submission
Mon 12 Nov 2018new
Notification
Sun 25 Nov 2018new
Camera-ready
Sun 13 - Tue 15 Jan 2019new
Conference
Submission Link
https://easychair.org/conferences/?conf=vmcai2019
Organizing Committee

Constantin Enea
Constantin Enea
Université Paris Diderot
France
Ruzica Piskac
Ruzica Piskac
Yale University

Related Resources

ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
SAS 2020   Static Analysis Symposium, SAS 2020
WiL 2020   4th Women in Logic Workshop - WiL 2020
ESOP 2021   30th European Symposium on Programming
CPP 2021   Certified Programs and Proofs
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
MODELS 2020   Model Driven Engineering Languages and Systems
MODELSWARD 2021   9th International Conference on Model-Driven Engineering and Software Development
PSSV 2020   XI Workshop Program Semantics, Specification and Verification
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis