<div dir="ltr"> 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel)<br><br>9th International Workshop on Rewriting Techniques for Program<br>Transformations and Evaluation (July 31st, 2022)<br><br>Web:         <a href="https://urldefense.com/v3/__https://wpte2022.github.io/__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfrNn94Imk$">https://wpte2022.github.io/</a><br>Submit:      <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2022__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfr_d-RbJo$">https://easychair.org/conferences/?conf=wpte2022</a><br>Deadline:    31 May 2022 (AOE, extended, firm)<br>Publication: post-proceedings as special issue in the Journal of Logical and Algebraic Methods in Programming<br><br>---------------------------------------------------------------------------<br>The aim of WPTE is to bring together the researchers working on<br>program transformations, evaluation, and operationally based<br>programming language semantics, using rewriting methods, in order to<br>share the techniques and recent developments and to exchange ideas to<br>encourage further activation of research in this area.<br><br>List of Topics<br>---------------------------------------------------------------------------<br>* Correctness of program transformations, optimizations and translations.<br>* Program transformations for proving termination, confluence, and<br> other properties.<br>* Correctness of evaluation strategies.<br>* Operational semantics of programs, operationally-based program<br> equivalences such as contextual equivalences and bisimulations.<br>* Cost-models for arguing about the optimizing power of transformations<br> and the costs of evaluation.<br>* Program transformations for verification and theorem proving purposes.<br>* Translation, simulation, equivalence of programs with different<br> formalisms, and evaluation strategies.<br>* Program transformations for applying rewriting techniques to programs<br> in specific programming languages.<br>* Program transformations for program inversions and program synthesis.<br>* Program transformation and evaluation for Haskell and rewriting.<br><br>Submission Guidelines<br>---------------------------------------------------------------------------<br>For the paper submission deadline an extended abstract of at most 10<br>pages is required. The extended abstract may present original work,<br>but also work in progress. Based on the submissions the program<br>committee will select the presentations for the workshop. All selected<br>contributions will be included in the informal proceedings distributed<br>to the workshop participants. One author of each accepted extended<br>abstract is expected to present it at the workshop. Submissions must<br>be prepared in LaTeX using the EPTCS macro package. All submissions<br>will be electronic via<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2022__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfr_d-RbJo$">https://easychair.org/conferences/?conf=wpte2022</a>.<br><br>Formal Proceedings<br>---------------------------------------------------------------------------<br>For the 2020 and 2021 editions, WPTE post-proceedings of selected<br>papers are scheduled to be published in JLAMP special issues. We are<br>delighted that the 2022 workshop will continue this tradition. Based<br>on the quality of the submission and the presentation, we will invite<br>a selection of papers to be published in extended form in a special<br>issue of the Journal of Logical and Algebraic Methods in Programming.<br><br>Invited Speakers<br>---------------------------------------------------------------------------<br>Akihisa YAMADA, National Institute of Advanced Industrial Science and<br>Technology (AIST), Japan.<br><br>Important Dates<br>---------------------------------------------------------------------------<br>Submission of extended abstracts (including work-in-progress): May 31,<br>2022 (AoE, extended, firm)<br>Notification of acceptance: June 15, 2022<br>Final version for informal proceedings: June 29, 2022<br>Workshop: July 31, 2022<br>Submission to post-proceedings (JAMP special issue): autumn 2022<br><br>Program Committees<br>---------------------------------------------------------------------------<br>María Alpuente, Universitat Politècnica de València, Spain<br>Demis Ballis, University of Udine, Italy<br>Christopher Brown, University of St Andrews, UK<br>Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair)<br>Dániel Horpácsi, Eötvös Loránd University, Hungary<br>Shin-Ya Katsumata, National Institute of Informatics, Japan<br>Kentaro Kikuchi, Tohoku University, Japan<br>Cynthia Kop, Radboud University, The Netherlands<br>Pierre-Etienne Moreau, Université de Lorraine, France<br>Koko Muroya, Kyoto University, Japan<br>Keisuke Nakano, Tohoku University, Japan (co-chair)<br>Masahiko Sakai, Nagoya University, Japan<br> <br>Contact<br>---------------------------------------------------------------------------<br>Please direct questions to <a href="mailto:wpte2022@easychair.org">wpte2022@easychair.org</a>.<br></div>