Email Gateway (May 29 2026 at 21:10): Email Gateway (May 29 2026 at 21:10):From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
WPTE 2026 (affiliated with FLoC 2026 in Lisbon, Portugal)
12th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (19 July 2026)
Webpage: https://wpte2026.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:
Nada Amin, Harvard University
Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026)
as well as six contributed presentations:
David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound
Rewrites for Measurement-Bearing Expressions via Token-Sensitive
Enclosure Semantics
Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula
Implication with Least and Greatest Fixpoints
David Sabel and Manfred Schmidt-Schauß: Improvement Theory for
Probabilistic Call-by-Need
Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on
Differences in Rewrite Sequences to Support Grading Programming Exercises
Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion
Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and
Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back
Translation of Verification Obligations
Program Committee
Martin Avanzini, Inria Sophia Antipolis
Carsten Fuhs (co-chair), Birkbeck, University of London
Jan-Christoph Kassing, RWTH Aachen University
Thomas Kœhler, ICube Lab, CNRS, Université de Strasbourg
Misaki Kojima, Nagoya University
Rubén Rubio, Universidad Complutense de Madrid
Traian Şerbănuţă, University of Bucharest
Germán Vidal, Universitat Politècnica de València
Janis Voigtländer (co-chair), University of Duisburg-Essen
Last updated: Jun 12 2026 at 04:13 UTC