<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<div>***************************************************************</div>
<div><br>
</div>
<div> SECOND CALL FOR PAPERS</div>
<div><br>
</div>
<div> Tenth International Workshop on</div>
<div><br>
</div>
<div> Verification and Program Transformation</div>
<div><br>
</div>
<div> April 2nd, 2022, München, Germany</div>
<div><br>
</div>
<div> http://refal.botik.ru/vpt/vpt2022</div>
<div><br>
</div>
<div> Co-Located with the 25th European joint Conference on</div>
<div><br>
</div>
<div> Theory and Practice of Software (ETAPS 2022)</div>
<div><br>
</div>
<div>***************************************************************</div>
<div><br>
</div>
<div>VPT-2022 Invited Speakers:</div>
<div><br>
</div>
<div>Elvira Albert, Complutense University of Madrid, Spain</div>
<div><br>
</div>
<div> <span style="font-size: 12pt;">Robert Glück, University of Copenhagen, Denmark</span></div>
<div><br>
</div>
<div>***************************************************************</div>
<div><br>
</div>
<div>The Tenth International Workshop on Verification and Program</div>
<div><br>
</div>
<div>Transformation (VPT 2022) aims to bring together researchers</div>
<div><br>
</div>
<div>working in the areas of Program Verification and Program Transformation.</div>
<div><br>
</div>
<div>The previous workshops in this series were:</div>
<div><br>
</div>
<div> VPT 2013, Saint Petersburg, Russia</div>
<div><br>
</div>
<div> VPT 2014, Vienna, Austria</div>
<div><br>
</div>
<div> VPT 2015, London, UK</div>
<div><br>
</div>
<div> VPT 2016, Eindhoven, The Netherlands</div>
<div><br>
</div>
<div> VPT 2017, Uppsala, Sweden</div>
<div><br>
</div>
<div> MARS/VPT 2018, Thessaloniki, Greece</div>
<div><br>
</div>
<div> VPT 2019, Genova, Italy</div>
<div><br>
</div>
<div> VPT 2020, Dublin, Ireland</div>
<div><br>
</div>
<div> VPT 2021, Luxembourg, Luxembourg</div>
<div><br>
</div>
<div>The workshop solicits research, position, application, and</div>
<div><br>
</div>
<div>system description papers with a special emphasis on case studies,</div>
<div><br>
</div>
<div>demonstrating viability of the interactions between the research fields</div>
<div><br>
</div>
<div>of program transformation and program verification in a broad sense.</div>
<div><br>
</div>
<div>Also papers in related areas, such as program testing and program synthesis </div>
<div><br>
</div>
<div>are 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><br>
</div>
<div>* Verification Techniques in Program Transformation and Synthesis</div>
<div><br>
</div>
<div>* Verification and Certification of Programs Transformations</div>
<div><br>
</div>
<div>* Program Analysis and Transformation</div>
<div><br>
</div>
<div>* Program Testing and Transformation</div>
<div><br>
</div>
<div>* Verifiable Computing and Program Transformation</div>
<div><br>
</div>
<div>* Case studies</div>
<div><br>
</div>
<div>*Important Dates*</div>
<div><br>
</div>
<div>* January 10th, 2022: Abstract submission deadline</div>
<div><br>
</div>
<div>* January 17th, 2022: Regular paper submission deadline</div>
<div><br>
</div>
<div>* January 31st, 2022: Extended abstracts and presentation-only papers submission deadline</div>
<div><br>
</div>
<div>* February 14th, 2022: Acceptance notification</div>
<div><br>
</div>
<div>* February 28th, 2022: Camera ready version (for the informal pre-proceedings)</div>
<div><br>
</div>
<div>* April 2nd, 2022: Workshop</div>
<div><br>
</div>
<div>* May 16th, 2022: Revised paper submission for the formal proceedings in EPTCS deadline</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><br>
</div>
<div>the Electronic Proceedings in Theoretical Computer Science LaTeX Style </div>
<div><br>
</div>
<div>(http://style.eptcs.org/), via the Easychair submission website for VPT 2022: </div>
<div><br>
</div>
<div>https://easychair.org/conferences/?conf=vpt2022</div>
<div><br>
</div>
<div>Regular papers must describe original work that has not been published,</div>
<div><br>
</div>
<div>or currently submitted, to a journal, conference, or workshop with refereed proceedings.</div>
<div><br>
</div>
<div>Also papers that already appeared in unpublished or informally published </div>
<div><br>
</div>
<div>workshop proceedings may be submitted.</div>
<div><br>
</div>
<div>Each submission must include on its first page the paper title; authors and </div>
<div><br>
</div>
<div>their affiliations; contact author's email; abstract; and three to four keywords </div>
<div><br>
</div>
<div>that will be used to assist the PC in selecting appropriate reviewers for the paper.</div>
<div><br>
</div>
<div>Page numbers should appear on the manuscript to help the reviewers in writing their report.</div>
<div><br>
</div>
<div>Regular paper submissions should not exceed 15 pages including references </div>
<div><br>
</div>
<div>but excluding well-marked appendices not intended for publication.</div>
<div><br>
</div>
<div>Reviewers are not required to read the appendices, and thus papers should be </div>
<div><br>
</div>
<div>intelligible without them.</div>
<div><br>
</div>
<div>*Proceedings*</div>
<div><br>
</div>
<div>Revised versions of all the accepted papers and accepted extended abstracts,</div>
<div><br>
</div>
<div>taking into account the feedback received at the workshop, will be published </div>
<div><br>
</div>
<div>in a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS) </div>
<div><br>
</div>
<div>series after the workshop.</div>
<div><br>
</div>
<div>If the workshop attracts sufficiently many high quality papers,</div>
<div><br>
</div>
<div>a special issue of a journal on the topic of the workshop will be considered.</div>
<div><br>
</div>
<div>The special issue will be open to high quality papers accepted for </div>
<div><br>
</div>
<div>presentation in previous editions of the workshop.</div>
<div><br>
</div>
<div>Program Committee:</div>
<div><br>
</div>
<div>Grigory Fedyukovich, Princeton University, USA</div>
<div><br>
</div>
<div>John P. Gallagher, Roskilde University, Denmark</div>
<div><br>
</div>
<div>Geoff W. Hamilton, Dublin City University, Republic of Ireland (Chair)</div>
<div><br>
</div>
<div>Michael Hanus, University of Kiel, Germany</div>
<div><br>
</div>
<div>Marie-Christine Jakobs, Ludwig-Maximilians-Universitat, Munchen, Germany</div>
<div><br>
</div>
<div>Alexei Lisitsa, The University of Liverpool, UK</div>
<div><br>
</div>
<div>Andrei P. Nemytykh, Program Systems Institute of RAS, Russia</div>
<div><br>
</div>
<div>Maurizio Proietti, IASI-CNR, Rome, Italy</div>
<div><br>
</div>
<div>Gabriel Radanne, IRIF, Inria, Paris, France</div>
<div><br>
</div>
<div>Philipp Rümmer, Uppsala University, Sweden</div>
<div><br>
</div>
<div>Germán Vidal, Technical University of Valéncia, Spain</div>
<div><br>
</div>
<div>Organisers:</div>
<div><br>
</div>
<div>Alexei Lisitsa (The University of Liverpool, UK)</div>
<div><br>
</div>
<div>Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)</div>
<div><br>
</div>
<div>Contacts</div>
<div><br>
</div>
<div>E-mail:</div>
<div><br>
</div>
<div>Geoff Hamilton, geoffrey.hamilton@dcu.ie</div>
<div><br>
</div>
<div>Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk</div>
<div><br>
</div>
<div>Andrei P. Nemytykh, nemytykh@math.botik.ru</div>
<div><br>
</div>
<div>Web: http://refal.botik.ru/vpt/vpt2022/</div>
</div>
</body>
</html>