VOLT 2015



Call For Papers



Important Dates

Previous Editions

STAF 2015



-- 11.07.2015 --
VOLT'15 invited talk by Gabriele Taentzer

-- 11.07.2015 --
Workshop Program is online

-- 07.05.2015 --
Submission Deadline extended to May, 22

-- 20.02.2015 --
VOLT 2015 website is online

Call For Papers

Please click below to read the text file of the complete call for papers.

Call For Papers (txt)


Authors may submit the following types of papers:

  • Full papers oriented to present elaborated research results. They should be not more than 10 pages long in Springer LNCS format.
  • Short papers oriented to briefly present early research results or ongoing work. They should be 8 pages long in Springer LNCS format.
  • Tool/Demo papers oriented to present model transformation verification tools. They should be 6 pages long in Springer LNCS format.
To comply with STAF's special theme of reproducibility, we strongly encourage solutions to the following model transformation verification challenges to be used as running examples or case studies for VOLT 2015 submissions (for more information see VOLT 2015 case studies):
  • a purely structural translation (aka. structural bridge) consisting of the classical UML2RDMS transformation;
  • an operational semantics of a Domain-Specific Language allowing to play to the well-known PacMan game;
  • a translational semantics providing executability of (a significant portion of) Activity Diagrams in terms of Petri Nets.
All submissions should follow the Springer LNCS format and be submitted through the VOLT 2015 EasyChair installation.

A pre-workshop version of the papers will be available on the workshop website and a post-workshop version will be published as CEUR workshop proceedings.