<div dir="ltr"><div>******************************<wbr>******************************<wbr>***</div><div>                            CALL FOR PAPERS</div><div><br></div><div>                Fifth International Workshop on</div><div>            Verification and Program Transformation</div><div><br></div><div>              April 29th, 2017, Uppsala, Sweden</div><div>  </div><div>               <a href="http://refal.botik.ru/vpt/vpt2017" target="_blank">http://refal.botik.ru/vpt/<wbr>vpt2017</a></div><div><br></div><div><br></div><div>    Co-located with the 20th European Joint Conferences</div><div>       on Theory and Practice of Software (ETAPS 2017)</div><div>       <a href="http://www.etaps.org/index.php/2017/workshops" target="_blank">http://www.etaps.org/index.<wbr>php/2017/workshops</a></div><div><br></div><div>******************************<wbr>******************************<wbr>***</div><div>The Fifth International Workshop on Verification and Program</div><div>Transformation (VPT 2017) aims to bring together researchers</div><div>working in the areas of Program Verification and Program</div><div>Transformation.</div><div><br></div><div>The workshop solicits research, position, application, and system</div><div>description papers with a special emphasis on case studies, demonstrating</div><div>viability of the interactions between the research fields of program</div><div>transformation and program verification in a broad sense. Also papers</div><div>in related areas, such as program testing and program synthesis are</div><div>welcomed.</div><div><br></div><div>Topics of interest include, but are not limited to:</div><div><br></div><div>* Verification by Program Transformation</div><div>* Verification Techniques in Program Transformation and Synthesis</div><div>* Verification and Certification of Programs Transformations</div><div>* Program Analysis and Transformation</div><div>* Program Testing and Transformation</div><div>* Verifiable Computing and Program Transformation</div><div>* Case studies</div><div><br></div><div><br></div><div>*Important Dates*</div><div><br></div><div>* January 31st, 2017: Abstract submission deadline</div><div>* February 6th, 2017: Paper submission deadline</div><div>* March 8th, 2017: Acceptance notification</div><div>* March 31st, 2017: Camera ready version (for the pre-proceedings)</div><div>* April 29th, 2017: Workshop</div><div><br></div><div><br></div><div>*Submission Guidelines*</div><div><br></div><div>Authors should submit an electronic copy of the paper in PDF, formatted in </div><div>the Electronic Proceedings in Theoretical Computer Science LaTeX Style</div><div>(<a href="http://style.eptcs.org/" target="_blank">http://style.eptcs.org/</a>), </div><div>via the Easychair submission website for VPT 2017:</div><div><br></div><div> <a href="https://easychair.org/conferences/?conf=vpt2017" target="_blank">https://easychair.org/<wbr>conferences/?conf=vpt2017</a> </div><div><br></div><div>Papers must describe original work that has not been published, </div><div>or currently submitted, to a journal, conference, or workshop </div><div>with refereed proceedings. Also papers that already appeared in </div><div>unpublished or informally published workshop proceedings may be </div><div>submitted. </div><div><br></div><div>Each submission must include on its first page the paper title; </div><div>authors and their affiliations; contact author's email; abstract; </div><div>and three to four keywords that will be used to assist the PC in </div><div>selecting appropriate reviewers for the paper. Page numbers </div><div>should appear on the manuscript to help the reviewers in writing </div><div>their report. </div><div><br></div><div>Submissions should not exceed 15 pages including references but </div><div>excluding well-marked appendices not intended for publication. </div><div>Reviewers are not required to read the appendices, and thus papers </div><div>should be intelligible without them.</div><div><br></div><div><br></div><div>*Proceedings*</div><div><br></div><div>Revised versions of all the accepted papers, taking into account the</div><div>feedback received at the workshop, will be published in a volume of</div><div>the Electronic Proceedings in Theoretical Computer (EPTCS) series</div><div>after the workshop.</div><div><br></div><div>If the workshop will attract sufficiently many high quality papers,</div><div>a special issue of a journal on the topic of the workshop will be</div><div>considered. The special issue will be open to high quality papers</div><div>accepted for presentation in previous editions of the workshop.</div><div><br></div><div><br></div><div>*Program Committee*</div><div><br></div><div>* Emanuele De Angelis, University of Chieti-Pescara, Italy</div><div>* John Gallagher, Roskilde University, Denmark</div><div>* Miguel Gomez-Zamalloa, Complutense University of Madrid, Spain</div><div>* Nikos Gorogiannis, Middlesex University, UK</div><div>* Geoff W. Hamilton, Dublin City University, Republic of Ireland</div><div>* Alexei Lisitsa, The University of Liverpool, UK (co-chair) </div><div>* David Monniaux, VERIMAG, CNRS - University of Grenoble, France</div><div>* Jorge A. Navas, SRI International, USA</div><div>* Andrei P. Nemytykh, Program Systems Institute of RAS, Russia (co-chair)</div><div>* Maurizio Proietti, IASI-CNR, Rome, Italy  (co-chair)</div><div>* Philipp Ruemmer, Uppsala University, Sweden</div><div>* Hirohisa Seki, Nagoya Institute of Technology, Japan</div><div>* Harald Sondergaard, The University of Melbourne, Australia</div><div>* Morten H. Sorensen, Formalit, Denmark</div><div><br></div><div><br></div><div>*Organisers*</div><div><br></div><div>Alexei Lisitsa (The University of Liverpool, UK)</div><div>Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)</div><div>Maurizio Proietti (IASI-CNR, Rome, Italy)</div><div><br></div><div><br></div><div>*Contacts*</div><div><br></div><div>Alexei Lisitsa, <a href="mailto:a.lisitsa@csc.liv.ac.uk" target="_blank">a.lisitsa@csc.liv.ac.uk</a></div><div>Andrei P. Nemytykh, <a href="mailto:nemytykh@math.botik.ru" target="_blank">nemytykh@math.botik.ru</a></div><div>Maurizio Proietti, <a href="mailto:maurizio.proietti@iasi.cnr.it" target="_blank">maurizio.proietti@iasi.cnr.it</a></div>
</div>