WPTE 2018

Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Affiliated with FLoC 2018 and FSCD 2018 in Oxford, July 8.

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

Steering Committee

Previous Editions

WPTE 2017 in Oxford was affiliated with FSCD 2017, WPTE 2016 in Porto was affiliated with FSCD 2016, WPTE 2015 in Warsaw was affiliated with RDP 2015, and WPTE 2014 in Vienna was affiliated with RTA/TLCA 2014.

Program Committee

Paper Selection and Proceedings

Contributions to WPTE'2018

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. 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 (http://style.eptcs.org/). Extended abstract submission to WPTE'2018 is handled by easychair at https://easychair.org/conferences/?conf=wpte2018.

Formal Proceedings

As in previous years, we intend to publish WPTE post-proceedings of selected papers by the Electronic Proceedings in Theoretical Computer Science. For this, full papers must be submitted until the post-proceedings deadline. The authors of all presented contributions will have the opportunity (but no obligation) to submit a full paper for the formal post-proceedings. These 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 September 2018. There will be a second round of reviewing for selecting papers to be published in the formal proceedings.

Important Dates

Accepted Papers

Invited Speaker

Jean-Pierre Jouannaud, Polytec, Palaiseau (Grand Paris)