WPTE 2022
9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Haifa, Israel
Sunday, July 31st, 2022
News
Paper submission
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.
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
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
TBA.
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
Please contact wpte2022@easychair.org.