Second International Workshop on

Rewriting Techniques for
Program Transformations and Evaluation

affiliated with RDP 2015

Warsaw, Poland, 2nd July 2015

!! OASIcs proceedings are now available !!

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. The previous WPTE was held in Vienna 2014.

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.

Program transformation and evaluation for Haskell and Rewriting is a new topic of this workshop: equational reasoning and other rewriting techniques for program verification and analysis; lambda calculi and type systems for functional programs and higher-order rewrite systems; rewriting of type expressions in the type checker; rewriting of programs by refactoring tools, optimizers, code generators; execution of programs as a form of graph rewriting (terms with sharing); Template Haskell, generally introducing a rewriting-like macro language into the compilation process; rewriting modulo commonly occurring axioms such as associativity, commutativity, and identity element.

Important Dates

Invited Speaker


(TLCA Invited Talk)
Note that participants of WPTE can attend the invited talk of TLCA.
Coffee break
10:30-11:30 Opening and Invited Talk (chair: N. Nishida)
Mechanizing Meta-Theory in Beluga
Brigitte Pientka
11:30-12:30 Session 1 (chair: M. Schmidt-Schauß)
Context-Moving Transformation for Term Rewriting Systems
Koichi Sato, Kentaro Kikuchi, Takahito Aoto, and Yoshihito Toyama
Towards Modelling Actor-Based Concurrency in Term Rewriting
Adrián Palacios and Germán Vidal
14:00-16:00 Session 2 (chair: Y. Chiba)
A Simple Extension of the Curry-Howard Correspondence with Intuitionistic Lambda Rho Calculus
Naosuke Matsuda
Formalizing Bialgebraic Semantics in PVS 6.0
Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen
Observing Success in the Pi-Calculus
David Sabel and Manfred Schmidt-Schauß
Head Reduction and Normalization in a Call-by-Value Lambda-Calculus
Giulio Guerrieri
Coffee break
16:30-17:00 Session 3 (chair: S. Escobar)
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics
Guillaume Madelaine, Cédric Lhoussaine, and Joachim Niehren
17:00-17:30 Business Meeting and Closing
Business Meeting

See also the program of RDP 2015.


The OASIcs proceedings are available via New!

Y. Chiba, S. Escobar, N. Nishida, D. Sabel, and M. Schmidt-Schauß (Eds.)
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation
OASICS Vol. 46, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2014

Extended abstracts on work in progress are not included in the OASIcs proceedings but they will be included in the USB memory which is distributed to the RDP partipicants.

Participation and Registration

Registration is via the RDP 2015 registration system.

Note that the early registration deadline ends on May 22!

Call for Papers

The call for papers is available in TXT-format.

WPTE accepts two different kinds of contributions:

One author of each accepted paper or abstract is expected to present it at the workshop.

Program Committee


Location: the Center of New Technologies ("CeNT"), University of Warsaw in Warsaw, Poland.

More information on the venue of RDP 2015.


Modified by N. Nishida