PROGRAM
Wednesday, October 9th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 1: Invited Talk
Chair:
09:00 | Reversible Computing - from a Programming Language Perspective (abstract) |
10:00-10:30Coffee Break
10:30-12:00 Session 2
Chair:
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
15:00-15:30Coffee Break
15:30-16:30 Session 4
Chair:
15:30 | Two-Way Quantum and Classical Automata with Advice for Online Minimization Problems (abstract) ![]() |
16:00 | Minimal Reversible Deterministic Finite Automata (abstract) |