posted by user: ndisp || 5279 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 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
VMCAI 2022   Verification, Model Checking and Abstract Interpretation
ICCIoT 2023   4th International Conference on Cloud and Internet of Things
SPIN 2023   29th International Symposium on Model Checking of Software
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
FSEN 2023   Fundamentals of Software Engineering
NFM 2023   NASA Formal Methods Symposium
ESOP 2023   32st European Symposium on Programming