WPTE 2025 (affiliated to FSCD 2025 in Birmingham, UK) 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 20th, 2025) Webpage: https://wpte2025.github.io/ --------------------------------------------------------------------------- The aim of WPTE is to bring together 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 workshop will have two invited talks, by: - Alex Gerdes, University of Gothenburg and Chalmers - Sebastian Maneth, University of Bremen as well as eight contributed presentations: - Misaki Kojima and Naoki Nishida: On Transforming Prioritized Multithreaded Programs into Logically Constrained Term Rewrite Systems - Kasper Hagens and Cynthia Kop: Bounded Rewriting Induction for LCTRSs - Leonid Nosovitskiy and Adam D. Barwell: Refactoring Protocols For Crash Safety - Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Partial Correctness of Separation Logic with Recursive Calls - David Sabel and Manfred Schmidt-Schauss: Probabilistic Lazy PCF with Real-Valued Choice - Ghilain Bergeron, Horatiu Cirstea and Stephan Merz: Towards a verified compiler for Distributed PlusCal - Naoki Nishida and Nozomi Taira: On Merging Constrained Rewrite Rules of Induction Hypotheses in Constrained Rewriting Induction - Dragana Milovancevic, Carsten Fuhs and Viktor Kuncak: Proving Termination of Scala Programs by Constrained Term Rewriting --------------------------------------------------------------------------- Program Committee --------------------------------------------------------------------------- Martin Avanzini, Inria Sophia Antipolis Patrick Bahr, IT University of Copenhagen Demis Ballis, University of Udine Mirai Ikebuchi, Kyoto University Cynthia Kop, Radboud University Nijmegen (co-chair) Ivan Lanese, University of Bologna Pierre Lermusiaux, Inria Rennes Steven Libby, University of Portland Luca Roversi, University of Turin Janis Voigtlaender, University of Duisburg-Essen (co-chair) Johannes Waldmann, Leipzig University of Applied Sciences Sarah Winkler, Free University of Bozen-Bolzano