Fourth International Workshop on

Rewriting Techniques for
Program Transformations and Evaluation

affiliated with FSCD 2017

Oxford, UK, 8th September 2017

About WPTE

The aim of WPTE is to bring together the researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.

Topics of interest in the scope of this workshop include:

The programming languages of interest include pure, deterministic, impure, nondeterministic, concurrent, parallel languages, and may employ programming paradigms such as functional, logical, typed, imperative, object-oriented, and higher-order.

This edition is affiliated with FSCD 2017.

Previous editions: WPTE 2014 (affiliated with RTA/TLCA 2014), WPTE 2015 (affiliated with RDP 2015), WPTE 2016 (affiliated with FSCD 2016)

Important Dates

Invited Speaker

Paper Selection and Proceedings

Contributions to WPTE

For the paper submission deadline an extended abstract of at most 10 pages is required to be submitted. The extended abstract may present original work or also work in progress. However, for the formal post-proceedings (see below) full papers must be submitted to the post-proceedings deadline.
Based on the submissions the program committee will select the presentations for the workshop. All selected contributions will be included in the informal proceedings distributed to the workshop participants.
One author of each accepted extended abstract is expected to present it at the workshop. Submissions must be prepared in LaTeX using the EPTCS macro package (

Formal Proceedings

The WPTE post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science ( The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These full-papers must represent original work and should not be submitted to another conference at the same time. Full-papers should not exceed 15 pages. The submission deadline for these post-proceedings will be after the workshop in October 2017. There will be a second round of reviewing for selecting papers to be published in the formal proceedings.

Call for Papers

The call for papers is available in TXT-format.

Program Committee



Steering Committee

Last modified 2017/02/23 by D. Sabel