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

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

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 on implementation and application of automata 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: June 23, 2019
  • Author notification: July 24, 2019
  • Camera ready version: August 26, 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 is published by Springer in its LNCS book series. Moreover, it is planned to publish selected papers in a special issue of the journal Theoretical Computer Science (Track C).