[TYPES/announce] CFP: First Workshop on Verification and Program Transformation, VPT 2013

Lisitsa, Alexei A.Lisitsa at liverpool.ac.uk
Fri Feb 1 07:34:53 EST 2013

           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.

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

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

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. S?rensen (Formalit, Denmark)
Simon Thompson (University of Kent, UK)


a.lisitsa at csc.liv.ac.uk
nemytykh at math.botik.ru

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

More information about the Types-announce mailing list