Monday, February 10, 2014

CFP: Reversible Computation (RC 2014)

Call for Papers
6th Conference on Reversible Computation
(RC 2014)
July 10th and 11th, 2014, Kyoto, Japan
Abstract Submission: February 16th, 2014 (extended)
Submission Deadline: February 23rd, 2014 (extended)

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 recently 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, tutorials, tool demonstrations, and
work-in-progress reports are within the scope of the
conference. Contributions on the following topics in Reversible
Computation are welcome:
* Applications
* Architectures
* Algorithms
* Circuit Design
* Debugging
* Fault Tolerance and Error Correction
* Hardware
* Information Theory
* Physical Realizations
* Programming Languages
* Quantum Computation
* Software
* Synthesis
* Theoretical Results
* Testing
* Verification
===== Important Dates =====
- Abstract Submission: Sun February 16th, 2014 (extended)
- Submission Deadline: Sun February 23rd, 2014 (extended)
- Notification to Authors: Sun March 30th, 2014
- Final Version: Sun April 20th, 2014
- Conference: Thu-Fri, July 10th and 11th, 2014
===== Paper submission =====
Interested researchers are invited to submit full research papers (12
pages maximum) as well as tutorial, work-in-progress, or demonstration
papers (6 pages maximum). All accepted research papers will be
published in Springer's Lecture Notes on Computer Science (LNCS).
Paper can be submitted through the following webpage:
===== Program Chairs =====
Shigeru Yamashita
Ritsumeikan University
Shin-ichi Minato
Hokkaido University
===== 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, Japan)
* 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 (Newcastle University, UK)
===== Conference Organizer =====
Shigeru Yamashita
Ritsumeikan University