[TYPES/announce] WPTE 2023 -- second Call for Papers and deadline extension

[Cynthia Kop]

---------------------------------------------------------------------------

***         SECOND CALL FOR SUBMISSIONS       ***

WPTE 2023 (affiliated to FSCD 2023 in Rome, Italy; also colocated with 
CADE 2023)

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

Web: https://urldefense.com/v3/__https://wpte2023.github.io/__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61PpwrqnCq_a$ 
Submit: https://urldefense.com/v3/__https://easychair.org/my/conference?conf=wpte2023__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61Ppwts9G-gi$ 
Deadline: *Extended to:* 5 May 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
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=wpte2023__;!!IBzWLUs!XUQ1jTozMQsg5NXY-tjpU90TnFf2UoEia7IHD0PyvTOtxLZTqn-N6-lrktrvR4bffzTDI0T0HdTufoNI61Ppwnz0ql7A$ 

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: *5 May, 2023 (AoE) *
Notification of acceptance: *5 June, 2023 *
Final version for informal proceedings: *18 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230421/ed2c4b8f/attachment.htm>