About

Reversibility has attracted increasing interest in recent years. Many reversible computation models are natural objects of theoretical computer science. They are studied from different points of view in various areas with strong relations to both theoretical concepts and as formal models for applications. The aim of this workshop is to bring together researchers working on different aspects of reversibility in programming, languages, and automata in order to exchange and develop novel ideas. A deeper and interdisciplinary coverage of this particular area may gain new insights and substantial progress.

Typical, but not exclusive, topics:

  • Reversible programming languages
  • Reversible computational models
  • Reversible concepts such as, e.g., quantum computations, symmetric computations
In all these settings:
  • Application
  • Expressive Capacity
  • Descriptional Complexity
  • Universality, Self-Reproduction
  • Decision Problems and their Complexity
  • Algebraic Properties
  • Formal Semantics
The workshop is organised by Markus Holzer (Universität Giessen, Germany) and Martin Kutrib (Universität Giessen, Germany) as a one day event to the

3rd World Congress on Formal Methods 2019 (FM '19).

It is scheduled for October 9, 2019. Further information on the workshop can be found below.

Invited Speaker

Programm Committee

  • Markus Holzer (Universität Giessen, DE) co-chair
  • Jarkko Kari (University of Turku, FI)
  • Martin Kutrib (Universität Giessen, DE) co-chair
  • Kenichi Morita (Hiroshima University, JP)
  • Giovanni Pighizzini (University of Milan, IT)
  • Rogerio Reis (University of Porto, PT)
  • Sylvain Lombardy (LaBRI - CNRS - Institut Polytechnique de Bordeaux, FR)
  • Iain Phillips (Imperial College London, UK)
  • Irek Ulidowski (University of Leicester, UK)
  • Robin Kaarsgaard (University of Copenhagen, DK)
  • Tetsuo Yokoyama (Nanzan University, JP)

Submissions

Papers presenting original contributions fitting the above mentioned topics are being sought. Authors are invited to submit papers of no more than 12 pages in LNCS style in electronic format (PostScript or PDF). Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Simultaneous submission to other conferences or workshops with published proceedings is not allowed. The submissions are handled by the EasyChair conference management system.

The following time schedule applies---all dates are meant w.r.t. AoE:
  • Paper submission deadline: July 28, 2019 (firm)
  • Author notification: August 25, 2019
  • Camera ready version: September 8, 2019
  • Workshop: October 9, 2019
To access the RPLA submission system, follow the link:

https://easychair.org/conferences/?conf=rpla2019

All submissions will be reviewed by at least three referees. The organizers will distribute the accepted papers in electronic format at the workshop day. A post-proceedings volume of revised selected papers is published by Springer in its Lecture Notes in Computer Science (LNCS) book series. Moreover, it is planned to publish selected papers in a special issue of the journal Theoretical Computer Science (Track C).