© 2020

Reversible Computation

12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings

  • Ivan Lanese
  • Mariusz Rawski
Conference proceedings RC 2020

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

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

Table of contents

  1. Front Matter
    Pages i-xii
  2. Invited Talks

  3. Foundations

    1. Front Matter
      Pages 33-33
    2. Hernán Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
      Pages 35-53
    3. Keisuke Nakano
      Pages 54-70
    4. Eva Graversen, Iain Phillips, Nobuko Yoshida
      Pages 71-90
  4. Programming Languages

    1. Front Matter
      Pages 91-91
    2. Torben Ægidius Mogensen
      Pages 93-110
    3. Armando B. Matos, Luca Paolini, Luca Roversi
      Pages 128-143
    4. Kostia Chardonnet, Alexis Saurin, Benoît Valiron
      Pages 144-152
    5. Peng Fu, Kohei Kishida, Neil J. Ross, Peter Selinger
      Pages 153-168
    6. Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry
      Pages 169-186
  5. Circuit Synthesis

    1. Front Matter
      Pages 187-187
    2. Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
      Pages 189-205
    3. Tim Boykett
      Pages 206-217
    4. D. Michael Miller, Gerhard W. Dueck
      Pages 218-236
  6. Tools and Applications

    1. Front Matter
      Pages 237-237
    2. Carlos Galindo, Naoki Nishida, Josep Silva, Salvador Tamarit
      Pages 239-245

About these proceedings


This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions.

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 computer hardware computer programming computer science computer systems distributed computer systems distributed systems embedded systems Field Programmable Gate Array (FPGA) formal logic graph theory linguistics logic gates mathematics parallel algorithms parallel architectures parallel processing systems software design software engineering theoretical computer science

Editors and affiliations

  1. 1.University of BolognaBolognaItaly
  2. 2.University of WarsawWarsawPoland

Bibliographic information