<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>---------------------------------------------------------------------------
<br>
</p>
<p>*** SECOND CALL FOR SUBMISSIONS ***<br>
</p>
WPTE 2023 (affiliated to FSCD 2023 in Rome, Italy; also colocated
with CADE 2023) <br>
<br>
10th International Workshop on Rewriting Techniques for Program <br>
Transformations and Evaluation (July 1st, 2023) <br>
<br>
Web: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://wpte2023.github.io/__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61PpwrqnCq_a$">https://wpte2023.github.io/</a><br>
Submit: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=wpte2023__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61Ppwts9G-gi$">https://easychair.org/my/conference?conf=wpte2023</a><br>
Deadline: <b>Extended to:</b> 5 May 2023<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>
* Rewriting-based transformations for bidirectional programming and
<br>
reversible computation. <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. The program committee will select the <br>
presentations for the workshop based on the submissions. 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, either in-person
or <br>
remotely (although we strongly encourage in-person participation). <br>
Submissions must be prepared in LaTeX using the EPTCS macro package.
<br>
All submissions will be electronic via <br>
<a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2023__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61Ppwnz0ql7A$" class="moz-txt-link-freetext">https://easychair.org/conferences/?conf=wpte2023</a><br>
<br>
Formal Proceedings <br>
---------------------------------------------------------------------------
<br>
For the 2020--2022 editions, WPTE post-proceedings of selected
papers are <br>
scheduled to be published in JLAMP special issues. We are discussing
the <br>
option of arranging a special issue for this year as well. <br>
<br>
Important Dates <br>
---------------------------------------------------------------------------
<br>
Submission of extended abstracts: <b>5 May, 2023 (AoE) </b><br>
Notification of acceptance: <b>5 June, 2023 </b><br>
Final version for informal proceedings: <b>18 June, 2023 </b><br>
Workshop: 1 July, 2023 <br>
Submission to post-proceedings: autumn 2023 (tbc) <br>
<br>
Program Committee <br>
---------------------------------------------------------------------------
<br>
Adam Barwell, University of St Andrews, United Kingdom <br>
Stefan Ciobaca, Alexandru Ioan Cuza University, Romania (co-chair) <br>
Carsten Fuhs, Birkbeck University of London, United Kingdom <br>
Mirai Ikebuchi, National Institute of Informatics, Japan <br>
Cynthia Kop, Radboud University, The Netherlands (co-chair) <br>
David Nowak, CNRS, France <br>
Rubén Rubio, Universidad Complutense de Madrid, Spain <br>
Susmit Sarkar, University of St Andrews, United Kingdom <br>
Hiroshi Unno, University of Tsukuba, Japan <br>
German Vidal, MiST, VRAIN, Universitat Politecnica de Valencia,
Spain<br>
<br>
<p></p>
<p></p>
</body>
</html>