WPTE 2018 (Deadline Extended)
Fifth International Workshop on Rewriting Techniques for Program
Transformations and Evaluation
Affiliated with FLoC 2018 and FSCD 2018 in Oxford, July 8.
Please consider an abstract for presenting your work at the
workshop even if in an early stage.
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.
Topics of Interest
Correctness of program transformations, optimizations and translations.
Program transformations for proving termination, confluence and
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.
Yuki Chiba, JAIST
Horatiu Cirstea, LORIA, Université de Lorraine, France
Santiago Escobar, Universitat Politècnica de València
Naoki Nishida, Nagoya University
David Sabel, Goethe-University, Frankfurt am Main
Manfred Schmidt-Schauß, Goethe-University, Frankfurt am Main
WPTE 2017 in Oxford was affiliated with FSCD 2017, WPTE 2016 in Porto
was affiliated with FSCD 2016, WPTE 2015 in Warsaw was affiliated with
RDP 2015, and WPTE 2014 in Vienna was affiliated with RTA/TLCA 2014.
Joachim Niehren (Chair), Inria, Lille.
David Sabel (Co-chair), Goethe University, Frankfurt.
Noaki Nishida, Nagoya University.
Joachim Breitner, University of Pennsylvania.
Giulio Guerrieri, Oxford University.
Manfred Schmidt-Schauß, Goethe-University, Frankfurt.
Vivek Nigam, Universidade Federal da Paraíba.
Adam Barwell, University of St Andrews.
Maribel Fernandez, King's College London.
Paper Selection and Proceedings
Contributions to WPTE'2018
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
(http://style.eptcs.org/). Extended abstract submission to WPTE'2018 is
handled by easychair at https://easychair.org/conferences/?conf=wpte2018.
As in previous years, we intend to publish WPTE post-proceedings of
selected papers by the Electronic Proceedings in Theoretical Computer
Science. For this, full papers must be submitted until the
post-proceedings deadline. The authors of all presented 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.
Full-papers should not exceed 15 pages. The submission deadline for
these post-proceedings will be after the workshop in September 2018.
There will be a second round of reviewing for selecting papers to be
published in the formal proceedings.
Submission of extended abstracts: April 15 extended to April 29, 2018
Notification of acceptance: May 15, 2018
Final version for proceedings deadline: May 30, 2018
Workshop: July 8, 2018
Submission to postproceedings: September 2018
Haskell mailing list