[TYPES/announce] WPTE 2022 final CFP (deadline: 31 May, publication JLAMP)

[Stefan Ciobaca]

 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel)

9th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 31st, 2022)

Web:         https://urldefense.com/v3/__https://wpte2022.github.io/__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfrNn94Imk$ 
Submit:      https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2022__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfr_d-RbJo$ 
Deadline:    31 May 2022 (AOE, extended, firm)
Publication: post-proceedings as special issue in the Journal of Logical
and Algebraic Methods in Programming

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

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. Based on the submissions the program
committee will select the presentations for the workshop. 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. Submissions must
be prepared in LaTeX using the EPTCS macro package. All submissions
will be electronic via
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2022__;!!IBzWLUs!TcUpBlpiPmFXn_2CaOm7DXqDXZxz0JxRSdQYCvHTYK33fNS6zEyBkm4zddlBgaU8UbCNOsX-sQBOiJbGVKMmL5BTdOyRYRfr_d-RbJo$ .

Formal Proceedings
---------------------------------------------------------------------------
For the 2020 and 2021 editions, WPTE post-proceedings of selected
papers are scheduled to be published in JLAMP special issues. We are
delighted that the 2022 workshop will continue this tradition. Based
on the quality of the submission and the presentation, we will invite
a selection of papers to be published in extended form in a special
issue of the Journal of Logical and Algebraic Methods in Programming.

Invited Speakers
---------------------------------------------------------------------------
Akihisa YAMADA, National Institute of Advanced Industrial Science and
Technology (AIST), Japan.

Important Dates
---------------------------------------------------------------------------
Submission of extended abstracts (including work-in-progress): May 31,
2022 (AoE, extended, firm)
Notification of acceptance: June 15, 2022
Final version for informal proceedings: June 29, 2022
Workshop: July 31, 2022
Submission to post-proceedings (JAMP special issue): autumn 2022

Program Committees
---------------------------------------------------------------------------
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)
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

Contact
---------------------------------------------------------------------------
Please direct questions to wpte2022 at easychair.org.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220515/51b6bfb9/attachment-0001.htm>