9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Sunday, July 31st, 2022
deadline: 31 May 2022 (extended, firm)
- We also encourage the submission of work-in-progress papers.
- The call for papers is live.
- The workshop date has been fixed to July 31st.
The aim of WPTE is to bring together the 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.
We aim at organizing a physical workshop, with the possibility of
hybrid attendance for spearkers or participants who are unable to
attend physically due to any reason. As a backup solution, we will
organize an online workshop. See more information on the FLoC website.
Topics of Interest
- Correctness of program transformations, optimizations and
- Program transformations for proving termination, confluence, and
- Correctness of evaluation strategies.
- Operational semantics of programs, operationally-based program
equivalences such as contextual equivalences and bisimulations.
- Cost-models for arguing about the optimizing power of
transformations and the costs of evaluation.
- Program transformations for verification and theorem proving
- Translation, simulation, equivalence of programs with different
formalisms, and evaluation strategies.
- Program transformations for applying rewriting techniques to
programs in specific programming languages.
- Program transformations for program inversions and program
- Program transformation and evaluation for Haskell and
- (NEW!) Paper: 31 May 2022
- New category: work-in-progress papers (upper limit of 10 pages)
- Acceptance notifications: 15 June 2022
- Final version: 29 June 2022
- Workshop: Sunday, 31 July 2022
- Formal post-proceedings: autumn 2022 (TBC)
Akihisa YAMADA, National Institute of Advanced Industrial Science
and Technology (AIST), Japan
- María Alpuente, Universitat Politècnica de València, Spain
- Demis Ballis, University of Udine, Italy
- Christopher Brown, University of St Andrews, UK
- Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair)
- Elsa Gunter, University of Illinois, Urbana - Champaign
- Dániel Horpácsi, Eötvös Loránd University, Hungary
- Shin-Ya Katsumata, National Institute of Informatics, Japan
- Kentaro Kikuchi, Tohoku University, Japan
- Cynthia Kop, Radboud University, The Netherlands
- Pierre-Etienne Moreau, Université de Lorraine, France
- Koko Muroya, Kyoto University, Japan
- Keisuke Nakano, Tohoku University, Japan (co-chair)
- Masahiko Sakai, Nagoya University, Japan
- Horatiu Cirstea,
LORIA, Université de Lorraine, France
Escobar, Universitat Politècnica de València
Niehren, Inria, Lille.
Nishida, Nagoya University
- David Sabel, LMU Munich
Schmidt-Schauß, Goethe-University, Frankfurt am Main
Please contact firstname.lastname@example.org.