© 2018

Reversible Computation

10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings

  • Jarkko Kari
  • Irek Ulidowski
Conference proceedings RC 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11106)

Also part of the Programming and Software Engineering book sub series (LNPSE, volume 11106)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

    1. Front Matter
      Pages 1-1
    2. Norman Margolus
      Pages 47-60
  3. Reversible Concurrent Computation

    1. Front Matter
      Pages 65-65
    2. Claudio Antares Mezzina
      Pages 67-83
    3. Anna Philippou, Kyriaki Psara
      Pages 84-101
    4. Eva Graversen, Iain Phillips, Nobuko Yoshida
      Pages 102-122
  4. Quantum Circuits

    1. Front Matter
      Pages 131-131
    2. Alexis De Vos, Stijn De Baerdemacker
      Pages 133-143
    3. Bob Coecke, Quanlong Wang
      Pages 144-161
    4. Thomas Haener, Mathias Soeken, Martin Roetteler, Krysta M. Svore
      Pages 162-174
    5. Giulia Meuli, Mathias Soeken, Giovanni De Micheli
      Pages 175-188
    6. Matthias Pfuhl, Jörg Ritter, Paul Molitor
      Pages 205-219
    7. Moein Sarvaghad-Moghaddam, Philipp Niemann, Rolf Drechsler
      Pages 220-227

About these proceedings


This book constitutes the refereed proceedings of the 10th International Conference on Reversible Computation, RC 2018, held in Leicester, UK, in September 2018.
The 13 full, 7 short, and one tutorial papers included in this volume together with four invited talks were carefully reviewed and selected from 28 submissions. The papers are organized in the following topical sections: reversible concurrent computation; quantum circuits; reversible programming languages; and applications.


Artificial intelligence Causal Reversibility Circuit Design Computer programming Energy Efficiency Hardware Logic Synthesis Physical Reversibility Problem solving Programming languages Quantum Circuits Quantum Computing Reversible Arithmetic Reversible Cellular Automata Reversible Computing Reversible Process Algebra Reversible Programming Languages Semantics Software engineering Wireless telecommunications systems

Editors and affiliations

  1. 1.University of TurkuTurkuFinland
  2. 2.University of LeicesterLeicesterUnited Kingdom

Bibliographic information