© 2019

Reversible Computation

11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings

  • Michael Kirkedal Thomsen
  • Mathias Soeken
Conference proceedings RC 2019

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

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

Table of contents

  1. Front Matter
    Pages i-viii
  2. Invited Talk

    1. Front Matter
      Pages 1-1
    2. Pierre Clairambault, Marc de Visme, Glynn Winskel
      Pages 3-19
  3. Theory and Foundation

    1. Front Matter
      Pages 21-21
    2. Pablo Arrighi, Nicolas Durbec, Aurélien Emmanuel
      Pages 51-66
  4. Programming Languages

    1. Front Matter
      Pages 85-85
    2. James Hoey, Irek Ulidowski
      Pages 108-127
  5. Circuit Synthesis

    1. Front Matter
      Pages 129-129
    2. Alexandre A. A. de Almeida, Gerhard W. Dueck, Alexandre César Rodrigues da Silva
      Pages 131-145
    3. Malcolm Regan, Brody Eastwood, Mahita Nagabhiru, Frank Mueller
      Pages 146-161
    4. Atsushi Matsuo, Shigeru Yamashita
      Pages 162-168
  6. Evaluation of Circuit Synthesis

    1. Front Matter
      Pages 169-169
    2. Alwin Zulehner, Hartwig Bauer, Robert Wille
      Pages 171-190
    3. Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
      Pages 191-206
  7. Applications and Implementations

    1. Front Matter
      Pages 207-207
    2. Harsh Khetawat, Ashlesha Atrey, George Li, Frank Mueller, Scott Pakin
      Pages 209-223

About these proceedings


This book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.

The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.


artificial intelligence linear logic logic synthesis programming languages quantum circuit quantum computation quantum computers reversible circuits reversible computation semantics type theory wireless telecommunication systems

Editors and affiliations

  1. 1.University of CopenhagenCopenhagenDenmark
  2. 2.École Polytechnique Fédérale de LausanneLausanneSwitzerland

Bibliographic information

Industry Sectors