11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)
32 32 people viewed this event.
The 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025) will be held in Birmingham, United Kingdom.
Topics of interest include, but are not limited to: Rewriting, Program Transformation, Operational Semantics, Program Verification
Submission deadline for conference contributions is May 09, 2025.