VOLT 2014 3rd Workshop on the Verification of Model Transformation Co-located with STAF 2014 http://volt2014.big.tuwien.ac.at York, United Kingdom July 21, 2014 *** Call for Papers *** The Third International Workshop on the Verification Of modeL Transformation (VOLT 2014) is one of the most accurate venues to offer researchers a dedicated forum to classify, discuss, propose, and advance verification techniques dedicated to model transformations. VOLT 2014 promotes discussions between theoreticians and practitioners from academy and industry, given its ideal co-location with STAF and in particular ECMFA, ICGT, ICMT, and TAP. VOLT’s interest spans both to academic and industrial practices. 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), and demonstration papers (about novel tool features) related to the following topics: - Application of formal verification, theorem proving, model checking or testing to model transformation; - Verification techniques dedicated to model transformation; - Taxonomies of techniques for model transformation verification; - Properties relevant to specific model transformations; - Verification of model transformations expressed in languages such as: ATL, QVT, TGG, VIATRA, Kermeta, Epsilon, etc. - Verification of domain-specific model transformations, in contrast to general-purpose transformations; - Case studies, comparisons, and experience reports; - Tools and automation. *** Submission *** Authors may submit regular papers up to 10 pages in Springer LNCS, short papers up to 8 pages in Springer LNCS, and demonstration papers up to 6 pages in Springer LNCS. Submissions have to be done through Easychair https://www.easychair.org/conferences/?conf=volt2014 Pre-workshop versions of accepted papers will be available on the workshop website and post-workshop versions will be published as CEUR workshop proceedings (http://ceur-ws.org). *** Workshop Format *** VOLT 2014 is a one-day workshop, divided into two parts: paper presentations (morning) and discussions in working groups (afternoon). *** Important Dates *** Submission: May 9, 2014 Author notification: June 6, 2014 Final version: June 24, 2014 Workshop: July 21, 2014 *** Organization Committee *** Moussa AMRANI, University of Luxembourg, Luxembourg Eugene SYRIANI, University of Alabama, USA Manuel WIMMER, Vienna University of Technology, Austria