posted by user: ndisp || 3269 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 2020   13th IEEE Conference on Software Testing, Validation and Verification
SEFM 2020   Software Engineering and Formal Methods
MODELS 2020   Model Driven Engineering Languages and Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
CAV 2020   Computer Aided Verification
CODAS 2020   Code Analysis and Software Mining in Scientific and Engineering Applications
MODELSWARD 2020   8th International Conference on Model-Driven Engineering and Software Development
VCLA Student Awards in Logic and CS 2020   CALL FOR (Self)NOMINATIONS: VCLA International Student Awards 2020 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2018 and 31.12.2019 (inclusive)
A-MOST 2020   Advances in Model-Based Software Testing
EXPRESS/SOS 2020   Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics