[Agda] WPTE 2021 (FIRST Call For Papers)

[Keisuke Nakano]

---------------------------------------------------------------------------
WPTE 2021: 8th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation
                                             Held online on July 18, 2021
---------------------------------------------------------------------------
Conference Web site: https://www.ipl.riec.tohoku.ac.jp/wpte2021/
Submission link:     https://easychair.org/conferences/?conf=wpte2021
Submission deadline: May 10, 2021
---------------------------------------------------------------------------
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.

The 8th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (WPTE 2021) is affiliated with FSCD 2021,
https://fscd2021.dc.uba.ar/

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 to be submitted. The extended abstract may present
original work or 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://easychair.org/conferences/?conf=wpte2021.

Formal Proceedings
---------------------------------------------------------------------------
WPTE post-proceedings of selected papers will be published in a JLAMP
special issue. For this, full papers must be submitted until the
post-proceedings deadline. The authors of selected contributions
will have the opportunity (but no obligation) to submit a full paper
for the formal post-proceedings. These must represent original work
and should not be submitted to another conference at the same
time. The submission deadline for these post-proceedings will be after
the workshop in September 2021. There will be a second round of
reviewing for selecting papers to be published in the formal
proceedings.

Important Dates
---------------------------------------------------------------------------
Submission of extended abstracts: May 10, 2021 (AoE) 
Notification of acceptance: May 31, 2021
Final version for proceedings deadline: June 13, 2021
Workshop: July 18, 2021 
Submission to post-proceedings: September 2021

Program Committees
---------------------------------------------------------------------------
Keisuke Nakano, Tohoku University, Japan (Chair)
Adrian Riesco, Universidad Complutense de Madrid, Spain. (co-Chair)
Ștefan Ciobâcă, Universitatea Alexandru Ioan Cuza din Iași, Romania
Makoto Hamana, Gunma University, Japan
Akimasa Morihata, the University of Tokyo, Japan
Shin-Cheng Mu, Academia Sinica, Taiwan
Koko Muroya, Kyoto University, Japan
David Sabel, LMU, Germany
Julia Sapiña, Polytechnic University of Valencia, Spain
Janis Voigtländer, University of Duisburg-Essen, Germany

Contact
---------------------------------------------------------------------------
All questions about submissions should be emailed to
wpte2021 (at) easychair.org