This book constitutes the refereed proceedings of the 17th International Conference on Reversible Computation, RC 2025, held in Odense, Denmark, during July 3–4, 2025.
The 7 full papers and 5 short papers included in this book were carefully reviewed and selected from 22 submissions.The conference brought together researchers from computer science, mathematics, engineering, and physics to discuss new developments and directions for future research in the area of Reversible Computation.
Robert Glück
reversible computation reversible circuit concurrency quantum computation programming languages circuit synthesis process calculus quantum state preparation quantum circuit ZX calculus computation model