[Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

[Caml-list] WPTE 2026 - Call for Participation - Rewriting Techniques for Program Transformations and Evaluation

[Carsten Fuhs]

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