<html><head><meta http-equiv="Content-Type" content="text/html charset=iso-8859-1"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">[We apologize if you have received multiple copies of this message]<br><br>[Please disseminate]<br><br>========================================================================================<br> CALL FOR PAPERS<br><br> Third International Workshop on<br> Rewriting Techniques for Program Transformations and Evaluation<br><br> WPTE 2016<br><br> affiliated with FSCD 2016<br><br> 23 June, 2016, Porto, Portugal<br><br> <a href="http://project.inria.fr/wpte2016/">http://project.inria.fr/wpte2016/</a><br>========================================================================================<br><br>Aims and Scope<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. The previous<br>WPTE were held in Vienna 2014, and Warsaw in 2015.<br><br>Topics of interest in the scope of this workshop include:<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 reasoning about the optimizing power of<br> transformations and the costs of evaluation.<br>* Program transformations for verification and theorem proving<br> purposes. <br>* Translation, simulation, equivalence of programs with different<br> formalisms, and evaluation strategies.<br>* Program transformations for applying rewriting techniques to<br> programs in specific programming languages.<br>* Program transformations for program inversions and program<br> synthesis. <br>* Program transformation and evaluation for Haskell and Rewriting.<br><br>The programming languages of interest include pure, deterministic,<br>impure, nondeterministic, concurrent, parallel languages, and may<br>employ programming paradigms such as functional, logical, typed,<br>imperative, object-oriented, and higher-order.<br><br><br>Proceedings<br>===========<br>The WPTE post-proceedings will be published in in Electronic<br>Proceedings in Theoretical Computer Science (<a href="http://eptcs.org/">http://eptcs.org/</a>).<br><br>Extended abstracts of work in progress are not included in the EPTCS<br>proceedings but they will be included in the USB memory which is<br>distributed to the FSCD participants.<br><br>Paper Submissions<br>=================<br>WPTE accepts two different kinds of contributions:<br><br>* Full-papers: <br> ------------<br> Full-papers must represent original work and should not be submitted<br> to another conference at the same time. Full-papers should not exceed 15<br> pages. Accepted papers will be included in the formal proceedings<br><span class="Apple-tab-span" style="white-space: pre;"> </span> after revision. <br><br>* Work in progress:<br> -----------------<br> There will also be a slot for presenting work in progress. An<br> extended abstract of at most 10 pages is required to be submitted.<br> These contributions will not be included in the formal proceedings <br> for full-papers but they will be distributed to the workshop participants.<br><br>One author of each accepted paper or abstract is expected to present <br>it at the workshop. Submissions must be prepared in LaTeX using the<br>EPTCS macro package (<a href="http://style.eptcs.org/">http://style.eptcs.org/</a>). <br><br>Important Dates<br>===============<br>* Submission deadline: April 22nd, 2016<br>* Notification of acceptance: May 13th, 2016<br>* Deadline for camera-ready proceedings: May 27th, 2016 <br>* Workshop: June 23rd, 2016<br><br>Weblinks<br>========<br>* EasyChair Submission Website<br> <a href="https://easychair.org/conferences/?conf=wpte2016">https://easychair.org/conferences/?conf=wpte2016</a><br><br>* Homepage of WPTE 2016<br> <a href="http://project.inria.fr/wpte2016">http://project.inria.fr/wpte2016</a><br><br>* FSCD 2016<br> <a href="http://fscd2016.dcc.fc.up.pt/">http://fscd2016.dcc.fc.up.pt/</a><br><br>Program Committee<br>=================<br>Takahito Aoto (Niigata University) <br>Yuki Chiba (JAIST)<br>Horatiu Cirstea (LORIA, Université de Lorraine, France) - chair<br>Fer-Jan de Vries (University of Leicester)<br>Santiago Escobar (Universitat Politècnica de València) - chair<br>Maribel Fernández (King's College London)<br>Johan Jeuring (Open Universiteit Nederland and Universiteit Utrecht)<br>Delia Kesner (Université Paris-Diderot)<br>Sergueï Lenglet (Université de Lorraine)<br>Elena Machkasova (University of Minnesota, Morris)<br>William Mansky (University of Pennsylvania)<br>Georg Moser (University of Innsbruck)<br>Joachim Niehren (INRIA Lille)<br>Naoki Nishida (Nagoya University) <br>Kristoffer H Rose (Two Sigma Investments, LLC)<br>David Sabel (Goethe-University Frankfurt am Main)<br>Masahiko Sakai (Nagoya University)<br>Manfred Schmidt-Schauß (Goethe-University Frankfurt am Main)<br>Janis Voigtländer (University of Bonn)<br>Johannes Waldmann (HTWK Leipzig)</body></html>