WPTE 2023 (affiliated to FSCD 2023 in Rome, Italy) CFP

by Stefan Ciobaca, March 8, 2023

10th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 1st, 2023)

Web: https://wpte2023.github.io/
Submit: https://easychair.org/conferences/?conf=wpte2023
Deadline: 21 April 2023

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.

List of Topics
* 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.
* Rewriting-based transformations for bidirectional programming and
  reversible computation.

Submission Guidelines
For the paper submission deadline an extended abstract of at most 10
pages is required. The extended abstract may present original work,
but also work in progress. The program committee will select the
presentations for the workshop based on the submissions. All selected
contributions will be included in the informal proceedings distributed
to the workshop participants. One author of each accepted extended
abstract is expected to present it at the workshop, either in-person or
remotely (although we strongly encourage in-person participation).
Submissions must be prepared in LaTeX using the EPTCS macro package.
All submissions will be electronic via

Formal Proceedings
For the 2020--2022 editions, WPTE post-proceedings of selected papers are
scheduled to be published in JLAMP special issues. We are discussing the
option of arranging a special issue for this year as well.

Important Dates
Submission of extended abstracts: 21 April, 2023 (AoE)
Notification of acceptance: 22 May, 2023
Final version for informal proceedings: 10 June, 2023
Workshop: 1 July, 2023
Submission to post-proceedings: autumn 2023 (tbc)

Program Committee
Adam Barwell, University of St Andrews, United Kingdom
Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair)
Carsten Fuhs, Birkbeck University of London, United Kingdom
Mirai Ikebuchi, National Institute of Informatics, Japan
Cynthia Kop, Radboud University, The Netherlands (co-chair)
David Nowak, CNRS, France
Rubén Rubio, Universidad Complutense de Madrid, Spain
Susmit Sarkar, University of St Andrews, United Kingdom
Hiroshi Unno, University of Tsukuba, Japan
German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia, Spain

Please direct questions to [email protected].