I Preface With the raise of Model-Driven Engineering (Mde), model transformations are more and more used as the automation technique in software engineering. After more than a decade of maturation, Mde can nowadays leverage software devel- opment within complex domains and for building large-scale systems, thanks to the recent theoretical foundations and emerging tool support. In this respect, the correctness of model transformations is one crucial requirement for the success of Mde. Despite some recent advances in this field, the work on the Verification & Validation (V&V) of model transformations still remains scattered, and a clear perspective on the subject is still an ongoing process. The International Workshop on Verification of Model Transformations (Volt) is one of the most accurate venues to offer researchers a dedicated forum to clas- sify, discuss, propose, and advance verification techniques dedicated to model transformations. This third edition has been held as a half-day event of the Staf (Software Technologies: Applications and Foundations) federation of conferences on the July 21st , 2014 in York, U.K. Five contributions were accepted after a rigorous review process, addressing various topics such as tool support for Ocl- based verification of transformations, completeness of Triple Graph Grammars, and language-independent verification of model transformations. The workshop’s program consisted of the accepted papers presentation, keynotes shared with the hosting conference federation, and one open session dedicated to discussions. We would like to thank the STAF 2014 organization for giving us the oppor- tunity to organize this workshop, especially to the workshops chairs, Barbara Koenig (University of Duisburg-Essen, Germany), Yishai Feldman (Ibm Haifa, Israel) and Dimitris Kolovos (University of York, U.K.), who were always very helpful and supportive. Many thanks to all those that submitted papers, and particularly to the presenters of the accepted papers. We also warmly thank the many participants who contributed to the open discussions with their remarks and experience. Last but not least, our thanks go to the reviewers and the mem- bers of the Program Committee, for their timely and accurate reviews and for their help in choosing and suggestions for improving the selected papers. July 2014 Moussa Amrani Eugene Syriani Manuel Wimmer II Program Committee Márk Asztalos Budapest University of Technology and Economics, Hungary Dider Buchs University of Geneva, Switzerland Antonio Cichetti Malardalen University in Vasteras, Sweden Benot Combemale University of Rennes, France Michalis Famelis University of Toronto, Canada Holger Giese Hasso-Plattner-Institute, Germany Martin Gogolla University of Bremen, Germany Jeff Gray University of Alabama, USA Esther Guerra Universidad Autónoma de Madrid, Spain Frank Hermann University of Luxembourg, Luxembourg Akram Idani Laboratoire d’Informatique de Grenoble, France Marouane Kessentini University of Michigan, USA Dimitrios S. Kolovos University of York, UK Leen Lambers Hasso-Plattner-Institute, Germany Kevin Lano King’s College London, UK Tihamer Levendovszky Vanderbilt University School of Engineering, USA Levi Lucio McGill University, Canada Arend Rensink University of Twente, Netherlands Rick Saley University of Toronto, Canada Martina Seidl University of Linz, Austria Antonio Vallecillo Universidad de Málaga, Spain Hans Vanghelhuwe University of Antwerp, Belgium / McGill University, Canada Dániel Varró Budapest University of Technology and Economics, Hungary