<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<h4><strong> WPTE 2018 </strong><span style="font-size: medium;"><strong>CALL
FOR PAPERS</strong></span><strong><br>
</strong></h4>
<h2><strong>5th International Workshop on Rewriting Techniques for
Program Transformations and Evaluation</strong> </h2>
Affiliated with <a href="http://www.floc2018.org">FLoC 2018</a> and
<a href="http://www.cs.le.ac.uk/events/fscd2018">FSCD 2018</a> in
Oxford, July 8.<br>
<br>
<a class="moz-txt-link-freetext"
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html</a><br>
<header>
<section> </section>
</header>
<section>
<header>
<h2>About WPTE</h2>
</header>
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.
<section>
<header>
<h3>Topics of Interest</h3>
</header>
<ul class="list">
<li>Correctness of program transformations, optimizations and
translations. </li>
<li>Program transformations for proving termination,
confluence and other properties. </li>
<li>Correctness of evaluation strategies.</li>
<li>Operational semantics of programs, operationally-based
program equivalences such as contextual equivalences and
bisimulations. </li>
<li>Cost-models for arguing about the optimizing power of
transformations and the costs of evaluation. </li>
<li>Program transformations for verification and theorem
proving purposes.</li>
<li>Translation, simulation, equivalence of programs with
different formalisms, and evaluation strategies. </li>
<li>Program transformations for applying rewriting techniques
to programs in specific programming languages. </li>
<li>Program transformations for program inversions and program
synthesis.</li>
<li>Program transformation and evaluation for Haskell and
Rewriting.</li>
</ul>
</section>
<section>
<header>
<h3>Steering Committee</h3>
</header>
<ul class="pc">
<li> <a href="https://www.jaist.ac.jp/%7Echiba/">Yuki Chiba</a>,
JAIST </li>
<li> <a href="https://members.loria.fr/HCirstea/">Horatiu
Cirstea</a>, LORIA, Université de Lorraine, France </li>
<li> <a href="http://users.dsic.upv.es/%7Esescobar/">Santiago
Escobar</a>, Universitat Politècnica de València </li>
<li> <a
href="http://www.sakabe.i.is.nagoya-u.ac.jp/%7Enishida/">Naoki
Nishida</a>, Nagoya University </li>
<li> <a href="http://www.davidsabel.de">David Sabel</a>,
Goethe-University, Frankfurt am Main </li>
<li> <a
href="http://www.ki.informatik.uni-frankfurt.de/persons/schauss/schauss.html">Manfred
Schmidt-Schauß</a>, Goethe-University, Frankfurt am Main </li>
</ul>
</section>
<section>
<header>
<h3>Previous Editions</h3>
</header>
<a href="http://www.ki.informatik.uni-frankfurt.de/WPTE17">WPTE
2017</a> in Oxford was affiliated with <a
href="http://www.cs.ox.ac.uk/conferences/fscd2017/index.html">FSCD
2017</a>, <a href="https://project.inria.fr/wpte2016/program">WPTE
2016</a> in Porto was affiliated with <a
href="http://fscd2016.dcc.fc.up.pt/">FSCD 2016</a>, <a
href="http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015">WPTE
2015</a> in Warsaw was affiliated with <a
href="http://rdp15.mimuw.edu.pl">RDP 2015</a>, and <a
href="http://www.ki.informatik.uni-frankfurt.de/WPTE14">WPTE
2014</a> in Vienna was affiliated with <a
href="http://www.easychair.org/smart-program/VSL2014/RTATLCA-cfp.html">RTA/TLCA
2014</a>. </section>
</section>
<section>
<header>
<h2>Program Committee</h2>
</header>
<ul class="pc">
<li> <a href="http://researchers.lille.inria.fr/%7Eniehren">Joachim
Niehren</a> (Chair), Inria, Lille. </li>
<li> <a href="http://www.davidsabel.de">David Sabel</a>
(Co-chair), Goethe University, Frankfurt. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Noaki
Nishida</a>, Nagoya University. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Joachim
Breitner</a>, University of Pennsylvania. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Giulio
Guerrieri</a>, Oxford University. </li>
<li> <a
href="http://www.ki.informatik.uni-frankfurt.de/persons/schauss/schauss.html">Manfred
Schmidt-Schauß</a>, Goethe-University, Frankfurt. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Vivek
Nigam</a>, Universidade Federal da Paraíba. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Adam
Barwell</a>, University of St Andrews. </li>
<li> <a
href="http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html">Maribel
Fernandez</a>, King's College London. </li>
</ul>
</section>
<section>
<header>
<h2>Paper Selection and Proceedings</h2>
</header>
<section>
<header>
<h3>Contributions to WPTE'2018</h3>
</header>
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 (<a
class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a>).
<a href="https://easychair.org/conferences/?conf=wpte2018">Extended
abstract submission to WPTE'2018</a> is handled by easychair
at <a href="https://easychair.org/conferences/?conf=wpte2018">https://easychair.org/conferences/?conf=wpte2018</a>.
<br>
<br>
<header>
<h3>Formal Proceedings</h3>
</header>
As in previous years, we intend to publish WPTE post-proceedings
of selected papers by the Electronic Proceedings in Theoretical
Computer Science (<a class="moz-txt-link-freetext"
href="http://eptcs.org/">http://eptcs.org/</a>). 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. </section>
<section> <br>
</section>
</section>
<section>
<header>
<h2>Important Dates</h2>
</header>
<ul class="list">
<li> Submission of extended abstracts: April 15, 2018</li>
<li> Notification of acceptance: May 15, 2018 </li>
<li> Final version for proceedings deadline: May 30, 2018 </li>
<li> Workshop: July 8, 2018 </li>
<li> Submission to postproceedings: September 2018 </li>
</ul>
</section>
</body>
</html>