AboutReversibility 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
- Expressive Capacity
- Descriptional Complexity
- Universality, Self-Reproduction
- Decision Problems and their Complexity
- Algebraic Properties
- (Formal) Semantics
Further information on the programme committee of the workshop will be announced soon.
- Robert Glück (University of Copenhagen)
SubmissionsThe 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
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.