posted by user: Lisitsa || 3001 views || tracked by 8 users: [display]

VPT 2013 : First International Workshop on Verification and Program Transformation


When Jul 13, 2013 - Jul 14, 2013
Where Saint Petersburg, Russia
Submission Deadline Apr 2, 2013
Notification Due May 16, 2013
Final Version Due Jun 3, 2013
Categories    verification   program transformation

Call For Papers

Second Call for Papers

First International Workshop on
Verification and Program Transformation

July 13th and 14th, 2013, Saint Petersburg, Russia
Co-Located with the 25th International Conference on Computer Aided

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.

It 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

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

Inivited Speakers:
Bernd Finkbeiner (Universitat des Saarlandes),
Jerome Leroux (ICNRS, LaBRI, Bordeaux),
Alberto Pettorossi (Universita di Roma Tor Vergata and
Istituto di Analisi dei Sistemi ed Informatica
"A. Ruberti")

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

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

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:

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 (Lulea University of Technology, Sweden)
Sven Schewe (The University of Liverpool, UK)
Peter Sestoft (The IT University of Copenhagen, Denmark)
Morten H. Sorensen (Formalit, Denmark)
Simon Thompson (University of Kent, UK)




Related Resources

VPT 2021   Ninth International Workshop on Verification and Program Transformation
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
LOPSTR 2021   31st International Symposium on Logic-Based Program Synthesis and Transformation
ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
HCVS 2021   Horn Clauses for Verification and Synthesis
CAV 2021   33rd International Conference on Computer-Aided Verification
ISSTA 2021   International Symposium on Software Testing and Analysis
ICPC 2021   29th IEEE/ACM International Conference on Program Comprehension
DXDE 2021   Digital Transformation and Digital Economics: Principles and Practice
Conversion 2022   Agents of Change: Moral Conversion and Social Transformation