{"id":85,"date":"2015-12-21T16:20:45","date_gmt":"2015-12-21T15:20:45","guid":{"rendered":"https:\/\/project.inria.fr\/wpte2016\/?page_id=85"},"modified":"2016-04-23T10:01:51","modified_gmt":"2016-04-23T08:01:51","slug":"cfp","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/wpte2016\/cfp\/","title":{"rendered":"CFP"},"content":{"rendered":"<p><\/p>\n<p style=\"text-align: center;\">CALL FOR PAPERS<\/p>\n<p style=\"text-align: center;\"><strong>Third International Workshop on<\/strong><br \/>\n<strong> Rewriting Techniques for Program Transformations and Evaluation<\/strong><\/p>\n<p style=\"text-align: center;\"><strong>WPTE 2016<\/strong><\/p>\n<p style=\"text-align: center;\">affiliated with FSCD 2016<\/p>\n<p style=\"text-align: center;\">23 June, 2016, Porto, Portugal<\/p>\n<p style=\"text-align: center;\">\n<div class=\"embed-container\">\n<blockquote class=\"wp-embedded-content\" data-secret=\"xyHhFUwptL\"><p><a href=\"https:\/\/project.inria.fr\/wpte2016\/\">About<\/a><\/p><\/blockquote>\n<p><iframe loading=\"lazy\" class=\"wp-embedded-content\" sandbox=\"allow-scripts\" security=\"restricted\" style=\"position: absolute; clip: rect(1px, 1px, 1px, 1px);\" src=\"https:\/\/project.inria.fr\/wpte2016\/embed\/#?secret=xyHhFUwptL\" data-secret=\"xyHhFUwptL\" width=\"600\" height=\"338\" title=\"&#8220;About&#8221; &#8212; Rewriting Techniques for Program Transformations and Evaluation\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\"><\/iframe><\/div>\n<\/p>\n<p><strong>Aims and Scope<\/strong><br \/>\nThe aim of WPTE is to bring together the researchers working on<br \/>\nprogram transformations, evaluation, and operationally-based<br \/>\nprogramming language semantics, using rewriting methods, in order to<br \/>\nshare the techniques and recent developments and to exchange ideas to<br \/>\nencourage further activation of research in this area. The previous<br \/>\nWPTE were held in Vienna 2014, and Warsaw in 2015.<\/p>\n<p>Topics of interest in the scope of this workshop include:<\/p>\n<p>* Correctness of program transformations, optimizations and translations.<br \/>\n* Program transformations for proving termination, confluence and<br \/>\nother properties.<br \/>\n* Correctness of evaluation strategies.<br \/>\n* Operational semantics of programs, operationally-based program<br \/>\nequivalences such as contextual equivalences and bisimulations.<br \/>\n* Cost-models for reasoning about the optimizing power of<br \/>\ntransformations and the costs of evaluation.<br \/>\n* Program transformations for verification and theorem proving<br \/>\npurposes.<br \/>\n* Translation, simulation, equivalence of programs with different<br \/>\nformalisms, and evaluation strategies.<br \/>\n* Program transformations for applying rewriting techniques to<br \/>\nprograms in specific programming languages.<br \/>\n* Program transformations for program inversions and program<br \/>\nsynthesis.<br \/>\n* Program transformation and evaluation for Haskell and Rewriting.<\/p>\n<p>The programming languages of interest include pure, deterministic,<br \/>\nimpure, nondeterministic, concurrent, parallel languages, and may<br \/>\nemploy programming paradigms such as functional, logical, typed,<br \/>\nimperative, object-oriented, and higher-order.<\/p>\n<p><strong>Proceedings<\/strong><br \/>\nThe WPTE post-proceedings will be published in in Electronic Proceedings in Theoretical Computer Science (<a href=\"http:\/\/eptcs.org\/\" target=\"_blank\">http:\/\/eptcs.org\/<\/a>).<\/p>\n<p>Extended abstracts on work in progress are not included in the EPTCS proceedings but they will be included in the USB memory which is distributed to the FSCD participants.<\/p>\n<p><strong>Paper Submissions<\/strong><br \/>\nWPTE accepts two different kinds of contributions:<\/p>\n<p><em>Full-papers:<\/em><br \/>\nFull-papers must represent original work and should not be submitted<br \/>\nto another conference at the same time. Full-papers should not exceed 15<br \/>\npages. Accepted papers will be included in the formal proceedings.<\/p>\n<p><em>Work in progress:<\/em><br \/>\nThere will also be a slot for presenting work in progress. An<br \/>\nextended abstract of at most 10 pages is required to be submitted.<br \/>\nThese contributions will not be included in the formal proceedings<br \/>\nfor full-papers but they will be distributed to the workshop participants.<\/p>\n<p>One author of each accepted paper or abstract is expected to present<br \/>\nit at the workshop. Submissions must be prepared in LaTeX using the<br \/>\nEPTCS macro package (<a href=\"http:\/\/style.eptcs.org\/\" target=\"_blank\">http:\/\/style.eptcs.org\/<\/a>).<\/p>\n<p><strong>Important Dates<\/strong><br \/>\n* Submission deadline: <del>April 22nd, 2016<\/del> \u00a0<span style=\"color: #ff0000;\"><strong>April 27th, 2016<\/strong><\/span><br \/>\n* Notification of acceptance: May 13th, 2016<br \/>\n* Deadline for camera-ready proceedings: May 27th, 2016<br \/>\n* Workshop: June 23rd, 2016<\/p>\n<p><strong>Weblinks<\/strong><br \/>\nEasyChair Submission Website<br \/>\n<a href=\"https:\/\/easychair.org\/conferences\/?conf=wpte2016\" target=\"_blank\">https:\/\/easychair.org\/conferences\/?conf=wpte2016<\/a><\/p>\n<p>Homepage of WPTE 2016<br \/>\n<a href=\"http:\/\/project.inria.fr\/wpte2016\" target=\"_blank\">http:\/\/project.inria.fr\/wpte2016<\/a><\/p>\n<p>FSCD 2016<br \/>\n<a href=\"http:\/\/fscd2016.dcc.fc.up.pt\/\" target=\"_blank\">http:\/\/fscd2016.dcc.fc.up.pt\/<\/a><\/p>\n<p><strong>Program Committee<\/strong><br \/>\nTakahito Aoto (Niigata University)<br \/>\nYuki Chiba (JAIST)<br \/>\nHoratiu Cirstea (LORIA, Universit\u00e9 de Lorraine, France) &#8211; chair<br \/>\nFer-Jan de Vries (University of Leicester)<br \/>\nSantiago Escobar (Universitat Polit\u00e8cnica de Val\u00e8ncia) &#8211; chair<br \/>\nMaribel Fern\u00e1ndez (King&#8217;s College London)<br \/>\nJohan Jeuring (Open Universiteit Nederland and Universiteit Utrecht)<br \/>\nDelia Kesner (Universit\u00e9 Paris-Diderot)<br \/>\nSergue\u00ef Lenglet (Universit\u00e9 de Lorraine)<br \/>\nElena Machkasova (University of Minnesota, Morris)<br \/>\nWilliam Mansky (University of Pennsylvania)<br \/>\nGeorg Moser (University of Innsbruck)<br \/>\nJoachim Niehren (INRIA Lille)<br \/>\nNaoki Nishida (Nagoya University)<br \/>\nKristoffer H Rose (Two Sigma Investments, LLC)<br \/>\nDavid Sabel (Goethe-University Frankfurt am Main)<br \/>\nMasahiko Sakai (Nagoya University)<br \/>\nManfred Schmidt-Schau\u00df (Goethe-University Frankfurt am Main)<br \/>\nJanis Voigtl\u00e4nder (University of Bonn)<br \/>\nJohannes Waldmann (HTWK Leipzig)<\/p>\n<p><strong>Organizers<\/strong><br \/>\nHoratiu Cirstea (LORIA, Universit\u00e9 de Lorraine, France)<br \/>\nSantiago Escobar (Universitat Politecnica de Valencia)<br \/>\nNaoki Nishida (Nagoya University) &#8211; chair<\/p>","protected":false},"excerpt":{"rendered":"<p>CALL FOR PAPERS Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation WPTE 2016 affiliated with FSCD 2016 23 June, 2016, Porto, Portugal About Aims and Scope 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 &hellip; <\/p>\n<p><a class=\"more-link btn\" href=\"https:\/\/project.inria.fr\/wpte2016\/cfp\/\">Continue reading<\/a><\/p>\n","protected":false},"author":686,"featured_media":0,"parent":0,"menu_order":20,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-85","page","type-page","status-publish","hentry","nodate","item-wrap"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/pages\/85","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/users\/686"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/comments?post=85"}],"version-history":[{"count":16,"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/pages\/85\/revisions"}],"predecessor-version":[{"id":147,"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/pages\/85\/revisions\/147"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/wpte2016\/wp-json\/wp\/v2\/media?parent=85"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}