Workshop

WPTE

’26

International Workshop on Rewriting Techniques for Program Transformations and Evaluation

Lisbon, PortugalJuly 19, 2026

Semantics
Compilers

Dates & Deadlines

PaperApr 29passed
NotificationMay 25passed
Camera-readyJun 291d

Part of

FSCDFormal Structures for Computation and DeductionJul 20 – 23, 2026

Last updated May 17, 2026