News

Paper submission deadline: 31 May 2022 (extended, firm)

(NEW!) Confirmed Special Issue in the Journal of Algebraic and Logical Methods in Computer Science

• 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.

About

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.

COVID-19

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.

Previous WPTEs

• WPTE 2021 held online was affiliated with FSCD 2021.
• WPTE 2020 held online was affiliated with FSCD-IJCAR 2020.
• WPTE 2019 in Dortmund was affiliated with FSCD 2019.
• WPTE 2018 in Oxford was affiliated with FLoC 2018 and FSCD 2018.
• WPTE 2017 in Oxford was affiliated with FSCD 2017.
• WPTE 2016 in Porto was affiliated with FSCD 2016.
• WPTE 2015 in Warsaw was affiliated with RDP 2015.
• WPTE 2014 in Vienna was affiliated with RTA/TLCA 2014.

Topics of Interest

• Correctness of program transformations, optimizations and translations.
• Program transformations for proving termination, confluence, and other properties.
• 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 purposes.
• 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 synthesis.
• Program transformation and evaluation for Haskell and rewriting.

Important Dates

• (NEW!) Paper: 31 May 2022 (extended, firm)
• 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)

Invited Speakers

Akihisa YAMADA, National Institute of Advanced Industrial Science and Technology (AIST), Japan

Accepted Papers

Program Committee

• 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

Steering Committee

• Horatiu Cirstea, LORIA, Université de Lorraine, France
• Santiago Escobar, Universitat Politècnica de València
• Joachim Niehren, Inria, Lille.
• Naoki Nishida, Nagoya University
• David Sabel, LMU Munich
• Manfred Schmidt-Schauß, Goethe-University, Frankfurt am Main

Contact