[TYPES/announce] WPTE 2018 Call for Papers

Joachim Niehren joachim.niehren at inria.fr
Fri Mar 23 12:18:29 EDT 2018


        *WPTE 2018 **CALL FOR PAPERS**
        *


    *5th International Workshop on Rewriting Techniques for Program
    Transformations and Evaluation*

Affiliated with FLoC 2018 <http://www.floc2018.org> and FSCD 2018 
<http://www.cs.le.ac.uk/events/fscd2018> in Oxford, July 8.

http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html


    About WPTE

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
    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.


      Steering Committee

  * Yuki Chiba <https://www.jaist.ac.jp/%7Echiba/>, JAIST
  * Horatiu Cirstea <https://members.loria.fr/HCirstea/>, LORIA,
    Université de Lorraine, France
  * Santiago Escobar <http://users.dsic.upv.es/%7Esescobar/>,
    Universitat Politècnica de València
  * Naoki Nishida <http://www.sakabe.i.is.nagoya-u.ac.jp/%7Enishida/>,
    Nagoya University
  * David Sabel <http://www.davidsabel.de>, Goethe-University, Frankfurt
    am Main
  * Manfred Schmidt-Schauß
    <http://www.ki.informatik.uni-frankfurt.de/persons/schauss/schauss.html>,
    Goethe-University, Frankfurt am Main


      Previous Editions

WPTE 2017 <http://www.ki.informatik.uni-frankfurt.de/WPTE17> in Oxford 
was affiliated with FSCD 2017 
<http://www.cs.ox.ac.uk/conferences/fscd2017/index.html>, WPTE 2016 
<https://project.inria.fr/wpte2016/program> in Porto was affiliated with 
FSCD 2016 <http://fscd2016.dcc.fc.up.pt/>, WPTE 2015 
<http://www.trs.cm.is.nagoya-u.ac.jp/event/wpte2015> in Warsaw was 
affiliated with RDP 2015 <http://rdp15.mimuw.edu.pl>, and WPTE 2014 
<http://www.ki.informatik.uni-frankfurt.de/WPTE14> in Vienna was 
affiliated with RTA/TLCA 2014 
<http://www.easychair.org/smart-program/VSL2014/RTATLCA-cfp.html>.


    Program Committee

  * Joachim Niehren <http://researchers.lille.inria.fr/%7Eniehren>
    (Chair), Inria, Lille.
  * David Sabel <http://www.davidsabel.de> (Co-chair), Goethe
    University, Frankfurt.
  * Noaki Nishida
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    Nagoya University.
  * Joachim Breitner
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    University of Pennsylvania.
  * Giulio Guerrieri
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    Oxford University.
  * Manfred Schmidt-Schauß
    <http://www.ki.informatik.uni-frankfurt.de/persons/schauss/schauss.html>,
    Goethe-University, Frankfurt.
  * Vivek Nigam
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    Universidade Federal da Paraíba.
  * Adam Barwell
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    University of St Andrews.
  * Maribel Fernandez
    <http://researchers.lille.inria.fr/niehren/WPTE-2018/main.html>,
    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 
<https://easychair.org/conferences/?conf=wpte2018> is handled by 
easychair at https://easychair.org/conferences/?conf=wpte2018.


      Formal Proceedings

As in previous years, we intend to publish WPTE post-proceedings of 
selected papers by the Electronic Proceedings in Theoretical Computer 
Science (http://eptcs.org/). 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.


    Important Dates

  * Submission of extended abstracts: April 15, 2018
  * Notification of acceptance: May 15, 2018
  * Final version for proceedings deadline: May 30, 2018
  * Workshop: July 8, 2018
  * Submission to postproceedings: September 2018

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180323/52bbe958/attachment.html>


More information about the Types-announce mailing list