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, tutorials, tool demonstrations, and work-in-progress reports
are within the scope of the conference. Invited talks by leading international experts will complete the program.
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
Interested researchers are invited to submit full research papers (12 pages maximum) as well as tutorial, work-in-progress,
or demonstration papers. All accepted papers will be published in Springer's
Lecture Notes in Computer Science (LNCS).
The 6th Conference on Reversible Computation will take place on July 10th and 11th, 2014 in Kyoto, Japan and is organized
by Shigeru Yamashita (Ritsumeikan University). Previous editions of this event took place as workshop in York (2009),
Bremen (2010), Gent (2011), and Copenhagen (2012), as well as conference in Victoria (2013).
Important Dates:
- Abstract Submission: Sun, February 16th, 2014 (closed)
- Submission Deadline: Sun, February 23th, 2014 (closed)
- Notification to Authors: Sun, March 30st, 2014
- Final Version: Sun, April 20st, 2014
- Conference: Thu-Fri, July 10th and 11th, 2014
|