posted by user: ndisp || 5928 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

VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation
AVC 2024   Advances in Vision Computing: An International Journal
SPIN 2024   30th International Symposium on Model Checking Software
FM 2024   Formal Methods
TASE 2024   18th Theoretical Aspects of Software Engineering Conference
NFM 2024   NASA Formal Methods Symposium
SPM 2024   11th International Conference on Signal, Image Processing and Multimedia
NFM 2024   NASA Formal Methods Symposium
NLPA 2024   5th International Conference on Natural Language Processing and Applications