RC 2014: Kyoto, Japan

Invited Talks

Automata for Reversible Computation

Notation and Languages for Reversible Computation

Synthesis and Optimization of Reversible Circuits

Synthesis and Optimization of Quantum Circuits

Validation and Representation of Quantum Logic

maintained by Schloss Dagstuhl LZI, founded at University of Trier