WPTE 2020

7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation

*** IMPORTANT UPDATE - WPTE WILL BE HELD AS VIRTUAL CONFERENCE ***

FSCD - IJCAR and associated workshops will be held as Virtual Conferences. To have an event where participants are not only there to enjoy the talks, but also to have informal interactions with each others, a common platform to handle all virtual workshops together will be used, so that all participants will be in the same virtual space.

WPTE 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events. More information here

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.

Previous Editions

WPTE 2019 in Dortmund was affiliated with FSCD 2019, WPTE 2018 in Oxford was affiliated with FLoC 2018 and FSCD 2018, 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.

Topics of Interest

Program

  • 9:30-11:00 Invited talk by Hélène Kirchner - What can we learn from the Porgy experience?
  • 11:00-11:30 Virtual coffee break
  • 11:30-13:00
    • Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems (Misaki Kojima, Naoki Nishida and Yutaka Matsubara)
    • Short Cut to Incremental Typed Functional Programs (Akimasa Morihata)
    • Program Transformations Enable Verification Tools to Solve Interactive Fiction Games (Martin Mariusz Lester)
  • 13:00-14:00 Lunch break
  • 14:00-15:30
    • Narrowing-based Optimization of Rewriting Logic Theories (María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña)
    • Hardware Trojan Detection via Rewriting Logic (Irina Mariuca Asavoae, Ramtine Tofighi Shirazi, Adrian Riesco and Uemura Yasuyoshi)
    • Preservation of Pattern-free Properties for Constructor TRS (Horatiu Cirstea, Pierre Lermusiaux and Pierre-Etienne Moreau)
  • 15:30-16:00 Virtual coffee break
  • 16:00-17:30
    • Metalevel transformation of strategies (Rubén Rubio, Narciso Marti-Oliet, Isabel Pita and Alberto Verdejo)
    • Simulating and model checking membrane systems using strategies in Maude (Rubén Rubio, Narciso Marti-Oliet, Isabel Pita and Alberto Verdejo)
    • On Impossibility of Simple Translations of Concurrent Calculi (Manfred Schmidt-Schauss and David Sabel)

Pre-proceedings

  1. Paper details:
    1. Authors: María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña
    2. Title: Narrowing-based Optimization of Rewriting Logic Theories
    3. File: here
  2. Paper details:
    1. Authors: Irina Mariuca Asavoae, Ramtine Tofighi Shirazi, Adrian Riesco and Uemura Yasuyoshi
    2. Title: Hardware Trojan Detection via Rewriting Logic
    3. File: here
  3. Paper details:
    1. Authors: Horatiu Cirstea, Pierre Lermusiaux and Pierre-Etienne Moreau
    2. Title: Preservation of Pattern-free Properties for Constructor TRS
    3. File: here
  4. Paper details:
    1. Authors: Misaki Kojima, Naoki Nishida and Yutaka Matsubara
    2. Title: Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems
    3. File: here
  5. Paper details:
    1. Authors: Martin Mariusz Lester
    2. Title: Program Transformations Enable Verification Tools to Solve Interactive Fiction Games
    3. File: here
  6. Paper details:
    1. Authors: Akimasa Morihata
    2. Title: Short Cut to Incremental Typed Functional Programs
    3. File: here
  7. Paper details:
    1. Authors: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, and Alberto Verdejo
    2. Title: Simulating and model checking membrane systems using strategies in Maude
    3. File: here
  8. Paper details:
    1. Authors: Rubén Rubio, Narciso Marti-Oliet, Isabel Pita, and Alberto Verdejo
    2. Title: Metalevel transformation of strategies
    3. File: here
  9. Paper details:
    1. Authors: Manfred Schmidt-Schauss and David Sabel
    2. Title: On Impossibility of Simple Translations of Concurrent Calculi
    3. File: here

Invited Speakers

Program Committee

Paper Selection and Proceedings

Contributions to WPTE 2020

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 2020 is handled by easychair at https://easychair.org/conferences/?conf=wpte2020.

Formal Proceedings

WPTE post-proceedings of selected papers will be published in a JLAMP special issue. 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. The submission deadline for these post-proceedings will be after the workshop in September 2020. There will be a second round of reviewing for selecting papers to be published in the formal proceedings.

Important Dates

Steering Committee

Contact

All questions about submissions should be emailed to ariesco (at) ucm.es