RPLA 2019: REVERSIBILITY IN PROGRAMMING, LANGUAGES, AND AUTOMATA
PROGRAM
Wednesday, October 9th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Invited Talk
09:00
Reversible Computing - from a Programming Language Perspective (abstract)
10:00-10:30Coffee Break
10:30-12:00 Session 2
10:30
Reversible Programs Have Reversible Semantics (abstract)
11:00
Quotients and Atoms of Reversible Languages (abstract)
11:30
Reversible and Irreversible Regular Languages (abstract)
12:30-14:00Lunch
14:15-15:00 Session 3
14:15
Reversibility and Determinism in P Systems (abstract)
15:00-15:30Coffee Break
15:30-16:30 Session 4
15:30
Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems (abstract)
16:00
Minimal Reversible Deterministic Finite Automata (abstract)