posted by user: ndisp || 1147 views || tracked by 12 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

TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
BES 2018   3rd International Conference on Biomedical Engineering and Science
APLAS 2018   16th Asian Symposium on Programming Languages and Systems
FCT 2019   22nd Symposium on Fundamentals of Computation Theory
Petri Nets 2019   Applications and Theory of Petri Nets
VMCAI 2018   International Conference on Verification, Model Checking, and Abstract Interpretation
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
SPIN 2018   25th International Symposium on Model Checking of Software
ACSD 2019   19th International Conference on Application of Concurrency to System Design
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering