VMCAI 2017
Date: Jan 15, 2017 12:00 am – Jan 17, 2017 11:00 am
Location: Paris, France
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Scope
The program of VMCAI 2016 will consist of refereed research papers as well as invited lectures and tutorials. 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 Certification
- Error Diagnosis
- Program Transformation
- Hybrid and Cyber-physical Systems
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.
Important Dates
- Abstract submission Extended to Sept 25, 2016 AOE
- Paper submission Extended to Sept 28, 2016 AOE
- Author notification Nov 14, 2016
- Final Version Nov 28 , 2016
- VMCAI 2017 conference January 15-17 2017, Paris, France
Submissions
Submissions are restricted to 17 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.
Confirmed Invited Speakers
TBA
Program Committee
Co-chairs, whom you can contact via vmcai2017@easychair.org: Ahmed Bouajjani and David Monniaux
Submitted by Anonymous
on
18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)
VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.
Scope
The program of VMCAI 2016 will consist of refereed research papers as well as invited lectures and tutorials. 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 Certification
- Error Diagnosis
- Program Transformation
- Hybrid and Cyber-physical Systems
Submissions can address any programming paradigm, including concurrent, constraint, functional, imperative, logic, and object-oriented programming.
Important Dates
- Abstract submission Extended to Sept 25, 2016 AOE
- Paper submission Extended to Sept 28, 2016 AOE
- Author notification Nov 14, 2016
- Final Version Nov 28 , 2016
- VMCAI 2017 conference January 15-17 2017, Paris, France
Submissions
Submissions are restricted to 17 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.
Confirmed Invited Speakers
TBA
Program Committee
Co-chairs, whom you can contact via vmcai2017@easychair.org: Ahmed Bouajjani and David Monniaux