[ecoop-info] [CFP] VMCAI'17 - Sun 15 - Tue 17 January 2017 Paris, France

[Laure Gonnord]

[Apologies for multiple postings]     

*** VMCAI: Call for Papers*** 

18th International Conference on Verification, Model Checking, and
Abstract Interpretation (VMCAI 2017) January 15-17 2017, Paris, France

http://conf.researchr.org/home/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 2017 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 Sept 18, 2016
Paper submission Sept 21, 2016
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:
https://www.easychair.org/conferences/?conf=vmcai2017

Accepted papers will be published in Springer's Lecture Notes in
Computer Science series.

Program Committee
Co-chairs, whom you can contact via vmcai2017 at easychair.org: Ahmed
Bouajjani and David Monniaux


-- 
Laure Gonnord - 
Associate Professor University of Lyon / LIP (ENS Lyon)
Co-Coordinator of the French Compilation Community :
http://compilfr.ens-lyon.fr
Office :      Ens Lyon / LIP @ Gerland (LUG), Office 274
Tel    :      +33 4 37 28 76 23
Web    :      http://laure.gonnord.org/pro