Call for Papers
First International Workshop on
Verification and Program Transformation

The First International Workshop on Verification and Program Transformation (VPT-2013) aims to bring together researchers working in two different areas, Verification and Program Transformation. VPT 2013 will be a CAV 2013 Workshop and held on July 13th and 14th, 2013.

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 2013 include, but are not limited to:

• Verification by Program Transformation
• Verification Techniques in Program Transformation and Synthesis
• Verification and Certification of Programs Transformations
• Program Analysis and Transformation
• Program Testing and Transformation
• Case studies

Important Dates
March 20th, 2013: Visa invitation letters through CAV deadline
April 2nd, 2013: Paper submission deadline
April 15th, 2013: Extended paper submission deadline
May 18th, 2013: Acceptance notification
June 3rd, 2013: Camera ready version
July 13th and 14th, 2013: Workshop

Submission
Regular papers (max. 16 pages) and tool papers (max. 7 pages) must be original and unpublished. Presentations of work-in-progress and relevant but already published work are accepted.

Regular and tool papers accepted for presentation at the workshop will appear in the EasyChair Proceedings in Computing (EPiC) series; they must be prepared in LaTeX using the EasyChair class style and submitted both as LaTeX-source files and PDF files by 2nd April.

Submission accepted for presentation must be presented at the workshop by at least one of the authors.

If the Workshop will attract sufficiently many high quality papers, a special issue of a journal on the topic of the workshop will be considered.

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

Visa Support
is provided by the CAV 2013 organizers. Please, take into account, that the preparation of the visa supporting letter (including its processing in the Russian Ministry of Foreign Affairs) might take 2 months and even more. Thus, they need to start the preparation as soon as possible.

We kindly ask submission authors and potential participants to apply for a visa invitation letter as soon as possible (even if their trip plans may change later). For further details please check: http://cav2013.forsyte.at/visa/

Program Committee:
Maurice Bruynooghe (Katholieke Universiteit Leuven, Belgium)
Geoff W. Hamilton (Dublin City University, Republic of Ireland)
Boris Konev (The University of Liverpool, UK)
Alexei Lisitsa, Co-Chair (The University of Liverpool, UK)
Andrei P. Nemytykh, Co-Chair (Program Systems Institute of RAS, Russia)
Johan Nordlander (Luleå University of Technology, Sweden)
Sven Schewe (The University of Liverpool, UK)
Peter Sestoft (The IT University of Copenhagen, Denmark)
Morten H. Sørensen (Formalit, Denmark)
Simon Thompson (University of Kent, UK)

Contacts
Email:
a.lisitsa@csc.liv.ac.uk
nemytykh@math.botik.ru
Web: http://refal.botik.ru/vpt/