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

Further information on the programme committee of the workshop will be announced soon.

Invited Speaker


The following time schedule applies---all dates are meant w.r.t. AoE:
  • Paper submission deadline: June 23, 2019
  • Author notification: July 24, 2019
  • Camera ready version: August 26, 2019
To access the RPLA submission system, follow the link:


All submissions will be reviewed by at least three referees. The organizers will distribute the accepted papers in electronic format at the workshop day. Moreover, it is planned to publish these papers as post-proceedings to the workshop.