CALL FOR PARTICIPATION Second International Workshop on Second International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) affiliated with RDP 2015 2 July, 2015, Warsaw, Poland http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015/ !! The early registration deadline ends on May 22 !! Aims and Scope ============== 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. Registration ============ http://rdp15.mimuw.edu.pl/index.php?site=registration Note that early registration ends on May 22. Talks ===== * Brigitte Pientka Invited talk, TBA * Giulio Guerrieri Head reduction and normalization in a call-by-value lambda-calculus * Guillaume Madelaine, Cedric Lhoussaine, and Joachim Niehren Structural simplification of chemical reaction networks preserving deterministic semantics * Naosuke Matsuda A simple extension of the Curry-Howard correspondence with intuitionistic lambda rho calculus * Adrian Palacios and German Vidal Towards Modelling Actor-Based Concurrency in Term Rewriting * David Sabel and Manfred Schmidt-Schauss Observing Success in the Pi-Calculus * Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama Context-Moving Transformation for Term Rewriting Systems * Sjaak Smetsers, Ken Madlener, and Marko Van Eekelen Formalizing Bialgebraic Semantics in PVS 6.0