This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Toruń, Poland, during July 4–5, 2024.The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions.

.- Invited Papers. .- Causal Debugging for Concurrent Systems (Tutorial). .- Compositional Reversible Computation. .- Models of Reversible Computation. .- Algorithmically expressive, always-terminating model for reversible computation. .- A toy model provably featuring an arrow of time without past hypothesis. .- Reversibility with holes. .- Experiments in Reversible Programming. .- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware. .- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip. .- Reversible and Quantum Programming Languages. .- A Small-Step Semantics for Janus. .- Jeopardy: An Invertible Functional Programming Language. .- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper. .- Connecting Reversible and Classical Computing through Hybrid SSA. .- Synthesis, Verification, and Analysis of Reversible and Quantum Systems. .- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language. .- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?. .- Model Checking Reversible Systems: Forwardly. .- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.