The field of computational systems is witnessing a significant shift towards incorporating reversibility and control, enabling the development of more robust and efficient systems. Researchers are exploring innovative approaches to represent and analyze reversible computations, including the use of graded modal type theories and space-time reversible graph rewriting. These advancements have the potential to revolutionize the way we design and optimize computational systems, particularly in the context of quantum computing and concurrent systems. Noteworthy papers in this area include: A Graded Modal Type Theory for Pulse Schedules, which proposes a language for representing pulse schedules in superconducting quantum computers. Space-time reversible graph rewriting, which establishes sufficient local conditions for rewrite rules to be space-time reversible.