VSL 2014: VIENNA SUMMER OF LOGIC 2014
VPT Call for Papers

VPT-2014 – Second International Workshop on Verification and Program Transformation
July 17th and 18th, 2014 · Vienna, Austria

http://refal.botik.ru/vpt/vpt2014/

http://vsl2014.at/pages/VPT-index.html

Also available as PDF.

Important Dates

Paper submission deadline April 14, 2014
Acceptance notification May 15, 2014
Camera ready version May 25, 2014
Workshop July 17 and 18, 2014

 

Aims and Scope

The Second International Workshop on Verification and Program Transformation (VPT-2014) aims to bring together researchers working in two different areas, Verification and Program Transformation. VPT 2014 will be a CAV 2014 Workshop and held on July 17th and 18th, 2014.

The previous workshop in this series was VPT 2013, Saint Petersburg, Russia.

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 2014 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

Paper Submissions

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 14th 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/vpt2014/.

VISA Support

is provided by the CAV 2014 organizers. Please, take into account, that processing of a visa request can take up to 6 weeks. For details please check: http://vsl2014.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)
  • Irina A. Lomazova (National Research University Higher School of Economics, Russia)
  • Andrei P. Nemytykh, Co-Chair (Program Systems Institute of RAS, Russia)
  • Johan Nordlander (Chalmers  University of Technology, Sweden)
  • Alberto Pettorossi (Università di Roma Tor Vergata and Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti")
  • Sven Schewe (The University of Liverpool, UK)
  • Peter Sestoft (The IT University of Copenhagen, Denmark)
  • Morten H. Sørensen (Formalit, Denmark)