Homepage RC2012

Home > Call for Papers

Call for Papers

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 workshop 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 workshop.

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), tutorials (12 pages maximum), as well as work-in-progress reports or demonstration papers (6 pages maximum). All submissions will be accepted as PDF file using the LNCS style (more details can be found at this page). A preliminary version of the proceedings will include all accepted papers and will be available at the workshop. Furthermore, authors of selected papers will be invited after the workshop to prepare a final version of their paper to be published in Springer's Lecture Notes in Computer Science (LNCS).

The 4th Workshop on Reversible Computation will take place on July 2nd and 3rd, 2012 in Copenhagen, Denmark and is organized by the University of Copenhagen and the University of Bremen.

Important Dates:
- Abstract Submission: March 9th, 2012 (extended)
- Submission Deadline: March 16th, 2012 (extended)
- Notification to Authors: May 7th, 2012
- Final Version: June 1st, 2012
- Workshop: July 2nd-3rd, 2012

University of Copenhagen | info@reversible-computation.org | e