=======================================================================

Call for Participation

6th Conference on Reversible Computation

(RC 2014)

July 10th and 11th, 2014, Kyoto, Japan

http://www.reversible-computation.org

=======================================================================

Reversible computation has a growing number of promising application areas such as low power design, coding/decoding, program debugging, testing, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology.

The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This particularly includes applications of reversibility in quantum computation. Research papers and work-in-progress reports are within the scope of the conference. Invited talks by leading international experts will complete the program.

===== Technical Program =====

Thursday July 10th, 2014

9.00-10.00 Invited Address

10.30-11.30 Automata for Reversible Computation

12.50-13.50 Notation and Languages for Reversible Computation

14.10-16.10 Synthesis and Optimization of Reversible Circuits

Friday July 11th, 2014

9.00-10.00 Invited Address

10.30-12.00 Synthesis and Optimization of Quantum Circuits

13.10-14.10 Invited Address

14.20-15.50 Validation and Representation of Quantum Logic

16.10-17.30 Work-in-Progress Reports and Posters

Detailed program is available at

http://reversible-computation.org/2014/program.php

===== Registration =====

Interested researchers are invited to participate at the conference. The registration fee is 30,000 yen (Japanese yen, incl. tax). This includes a copy of the proceedings, lunch boxes and breaks for both days, and the banquet the evening ofThursday July 10th.

Registration website:

http://reversible-computation.org/2014/registration.php

Registration deadline is June 9th!

===== Program Chairs =====

Shigeru Yamashita

Ritsumeikan University

ger@cs.ritsumei.ac.jp

Shin-ichi Minato

Hokkaido University

minato@ist.hokudai.ac.jp

===== Program Committee =====

* Holger Bock Axelsen (University of Copenhagen, Denmark)

* Alexis de Vos (University of Ghent, Belgium)

* Simon Gay (University of Glasgow, United Kingdom)

* Markus Grassl (Centre Quantum Tech, Singapore)

* Jarkko J. Kari (University of Turku, Finland)

* Martin Kutrib (University of Giessen, Germany)

* Kazutaka Matsuda (University of Tokyo, Japan)

* D. Michael Miller (University of Victoria, Canada)

* Jackie Rice (University of Lethbridge, Canada)

* Yasuhiro Takahashi (NTT)

* Irek Ulidowski (University of Leicester, United Kingdom)

* Janis Voigtländer (University of Bonn, Germany)

* Robert Wille (University of Bremen, Germany)

* Tetsuo Yokoyama (Nanzan University, Japan)

* Paolo Zuliani (Carnegie Mellon University, USA)

===== Conference Organizer =====

Shigeru Yamashita

Ritsumeikan University

ger@cs.ritsumei.ac.jp

info@reversible-computation.org

http://www.reversible-computation.org