Call for Papers
Third International Workshop on
Verification and Program Transformation
April 11th, 2015, London, UK
Co-Located with the 18th European Joint Conferences on Theory and Practice of Software (ETAPS 2015)

The Third International Workshop on Verification and Program Transformation (VPT-2015) aims to bring together researchers working in two different areas, Verification and Program Transformation. VPT 2015 will be a ETAPS 2015 Workshop and held on April 11th, 2015.

The previous workshops in this series were:

The workshop will provide a forum where all interactions of the two fields can be presented and discussed.

The workshop will solicit research, position, applications and system description papers with a special emphasis on case studies, demonstrating viability of the interfaces between the two research fields in a broad sense.

On the one hand presentations of the methods, techniques and tools developed in program transformations and successfully applied for verification of programs, systems and protocols specified by programs are welcomed.

In opposite direction, papers describing the approaches to strengthening and optimization of program transformations by model checking, automated and interactive theorem proving, SAT- and SMT-based methods are strongly welcomed too.

The papers dealing with neighboring areas, such as testing and program synthesis are welcomed as well.

Topics of interest for VPT 2015 include, but are not limited to:

Important Dates
January 16th, 2015: Abstract submission deadline
January 31st, 2015: Extended abstract submission deadline
February 6th, 2015: Paper submission deadline
February 17th, 2015: Extended paper submission deadline (Closed)
March 3rd, 2015: Acceptance notification
March 27th, 2015: Camera ready version for informal proceedings
April 11th, 2015: Workshop
At the workshop instructions will be given for the submission of the papers for the formal proceedings in EPTCS.

Submission Guidelines
Authors should submit an electronic copy of the paper in PDF, formatted in the Electronic Proceedings in Theoretical Computer Science LaTeX Style (http://style.eptcs.org/), via the Easychair submission website for VPT 2015 (https://easychair.org/conferences/?conf=vpt2015).

Papers must describe original work that has not been published, nor is presently submitted, to a journal, conference, or workshop with refereed proceedings. Also papers that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC co-chairs in case of questions).

Each submission must include on its first page the paper title; authors and their affiliations; contact author's email; abstract; and three to four keywords that will be used to assist the PC in selecting appropriate reviewers for the paper. Page numbers should appear on the manuscript to help the reviewers in writing their report.

Submissions should not exceed 15 pages including references but excluding well-marked appendices not intended for publication. Reviewers are not required to read the appendices, and thus papers should be intelligible without them.

Proceedings
Original accepted papers will be published in a volume of the Electronic Proceedings in Theoretical Computer (EPTCS) series. If the workshop attracts sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered. The special issue will be open to high quality papers accepted for presentation in previous/past editions of the workshop.

See additional information on the site http://refal.botik.ru/vpt/vpt2015/.

Visa Support
is provided by the ETAPS 2015 organizers.

Organisers:
Emanuele De Angelis (University of Chieti-Pescara, Italy)
Alexei Lisitsa (The University of Liverpool, UK)
Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)
Alberto Pettorossi (Università di Roma Tor Vergata, Italy)

Program Committee:
Santiago Escobar (Technical University of Valéncia, Spain)
Fabio Fioravanti (University of Chieti-Pescara, Italy)
John Gallagher (Roskilde University, Denmark)
Silvio Ghilardi (University of Milano, Italy)
Geoff W. Hamilton (Dublin City University, Republic of Ireland)
Michael Hanus (University of Kiel, Germany)
Andy King (University of Kent, UK)
Michael Leuschel (Heinrich-Heine-Universität Düsseldorf, Germany)
Alexei Lisitsa, Co-Chair (The University of Liverpool, UK)
Andrei P. Nemytykh, Co-Chair (Program Systems Institute of RAS, Russia)
Alberto Pettorossi, Co-Chair (Università di Roma Tor Vergata, Italy)
Germán Vidal (Technical University of Valéncia, Spain)

Steering Committee:
Geoff W. Hamilton (Dublin City University, Republic of Ireland)
Alexei Lisitsa (The University of Liverpool, UK)
Andrei P. Nemytykh (Program Systems Institute of RAS, Russia)
Alberto Pettorossi (Università di Roma Tor Vergata, Italy)

Contacts
E-mail:
Emanuele De Angelis, deangelis@sci.unich.it
Alexei Lisitsa, a.lisitsa@csc.liv.ac.uk
Andrei P. Nemytykh, nemytykh@math.botik.ru
Alberto Pettorossi, adp@iasi.cnr.it
Web: http://refal.botik.ru/vpt/vpt2015/
         http://www.etaps.org/index.php/2015/workshops?id=218#VPT