VPT 2014:Editor's Preface

This volume contains the papers to be presented at VPT 2014: Second  International Workshop on Verification and Program Transformation to be held on July 17-18, 2014 in Vienna. The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014.  

The workshop aim is to bring together researchers working in two different areas, Verification and Program Transformation. Recent research in both fields has shown a great potential for mutually beneficial interactions. On the one hand the methods, techniques and tools developed in program transformations have been successfully applied for verification of programs, systems and protocols specified by programs. Partial evaluation, partial deduction, fold/unfold transformations, supercompilation and distillation have all been used for verification with a particular success in the verification of infinite-state and parameterized systems. In opposite direction, model checking, automated and interactive theorem proving, SAT- and SMT-based methods have been used to strengthen and optimize program transformations. Yet another area on the border of two fields, that is formal verification and certification of programs transformations tools, such as automated refactoring tools and compilers has attracted considerable interest, posed major challenges and yielded promising results. The workshop aim is to provide a forum where all these interactions could be presented and discussed.

There were 7 submissions, of which after receiving 21 reviews in total by Program Committee members, 7 were accepted for presentation. Additionally two  talks by the internationally renowned invited speakers  Prof. M. Leuschel and Prof. A. Rybalchenko   will be given.

We acknowledge the co-operation with the Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014) with which we have a shared invited talk and 10th International Workshop  on Automated Specification and Verification of Web Systems (WWV 2014) with which we have a joint session. 

We would like to thank all authors for their contributions, the members of the Program Committee for their excellent work during the reviewing, the invited speakers for kindly accepting the invitations.

We gratefully acknowledge the support of EasyChair. 


Alexei Lisitsa and Andrei Nemytykh
June 11, 2014