Call for Papers
Second International Workshop on
Verification and Program Transformation
as an event of the Vienna Summer of Logic 2014
July 17th and 18th, 2014, Vienna, Austria
Co-Located with the 26th International Conference on Computer Aided Verification
http://refal.botik.ru/vpt/vpt2014/
http://vsl2014.at/pages/VPT-index.html
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:
Important Dates
March 30th, 2014: Paper submission deadline
April 14th, 2014: Extended paper submission deadline
May 15th, 2014: Acceptance notification
May 16th, 2014: Acceptance notification
May 25th, 2014: Camera ready version
July 17th and 18th, 2014: 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 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)
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 and Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti")
Contacts
Email:
a.lisitsa@csc.liv.ac.uk
nemytykh@math.botik.ru
Web:
http://refal.botik.ru/vpt/vpt2014/
http://vsl2014.at/pages/VPT-index.html