VOLT 2017
6th Workshop on the Verification and Validation of Model Transformation
http://volt2017.big.tuwien.ac.at

Co-located with STAF 2017
Marburg, Germany 17—21 July 2017

VOLT 2017 is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification and validation techniques dedicated to model transformations. VOLT promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF. VOLT's interest spans both to academic and industrial practices. One of the goals of the forum is to better connect research on model transformation verification (e.g., with formal methods) and model transformation validation (e.g., based on testing).

In order to discuss these and further similar questions, we would like to invite submissions in the form of regular papers, short papers (ongoing work, position statements, new ideas), and demonstration papers (about novel tool features) related to the following topics:
* Application of formal verification (e.g., theorem proving, model-checking, abstract interpretation, testing, static analysis) to model transformations:
o V&V of model transformations expressed in languages such as ATL, QVT, TGG, Viatra, Kermeta, Epsilon, etc.;
o V&V of Domain-Specific Model Transformations, in contrast to general-purpose transformations;
o V&V techniques dedicated to model transformation;
* Reports on new V&V challenges of emerging transformation paradigms (e.g., streaming transformations, approximate transformations, search-based transformations);
* Taxonomies of techniques for model transformation V&V:
o Properties relevant to techniques for model transformation V&V;
o Reviews and surveys on the practice of V&V for model transformations;
* Comparisons between V&V techniques for model transformation versus general-purpose programming languages;
* Case studies, comparisons, and experience reports;
* Tools and automation.

*** Submission ***
Submitted papers should belong to one of these paper categories, depending on the nature of the contribution:
* Regular papers (up to 10 pages) which presents novel approaches, empirical studies, and comparisons of existing approaches;
* Short papers (up to 8 pages) presenting new ideas, novel research results, ongoing work, or emerging research challenges;
* Tool/Demo papers (up to 6 pages) which should demonstrate novel tool feature or tools.

All submissions should follow the Springer LNCS format and be submitted through the EasyChair installation:
https://easychair.org/conferences/?conf=volt2017 

Post-workshop proceedings will be published in Springer LNCS.


*** Important Dates ***
Submission: May 3, 2017 (EXTENDED)
Author notification: May 25, 2017
Final version: June 15, 2017
Workshop: July 17-21, 2017

*** Organization Committee ***
Moussa AMRANI, University of Namur, Belgium
Eugene SYRIANI, University of Montreal, Canada
Manuel WIMMER, TU Wien, Austria