RC 2012 - 4th Workshop on Reversible Computation (RC 2012)

4th Workshop on Reversible Computation
(RC 2012)
July 2nd-3rd, 2012, Copenhagen, Denmark
Abstract Submission: March 2nd, 2012
Submission Deadline: March 9th, 2012
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 recently 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
Important Dates
- Abstract Submission: March 2nd, 2012
- Submission Deadline: March 9th, 2012 (strict)
- Notification to Authors: May 7th, 2012
- Final Version: June 1st, 2012
- Workshop: July 2nd-3rd, 2012
Paper submission
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 the workshop website). 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 an official publication venue.
Paper can be submitted through the following webpage:
(http://www.reversible-computation.org/2012/cms/ind...)http://www.reversible-computation.org/2012/cms/ind...
Program Chairs
Robert Glück
University of Copenhagen
(mailto:glueck-AT-acm.org)glueck-AT-acm.org
Tetsuo Yokoyama
Nanzan University
(mailto:tyokoyama-AT-acm.org)tyokoyama-AT-acm.org
Program Committee
* Stéphane Burignat (Gent University, Belgium)
* Vincent Danos (Université Paris Diderot, France)
* Gerhard W. Dueck (University of New Brunswick, Canada)
* Nate Foster (Cornell University, USA)
* Luca Gammaitoni (University of Perugia, Italy)
* Simon Gay (University of Glasgow, United Kingdom)
* Markus Grassl (National University of Singapore)
* Jarkko J. Kari (University of Turku, Finland)
* Martin Kutrib (University of Giessen, Germany)
* Per Larsson-Edefors (Chalmers University of Technology, Sweden)
* Kazutaka Matsuda (Tohoku University, Japan)
* D. Michael Miller (University of Victoria, Canada)
* Shin-ichi Minato (Hokkaido University, Japan)
* Kenichi Morita (Hiroshima University, Japan)
* Ilia Polian (University of Passau, Germany)
* Michel Schellekens (University College Cork, Ireland)
* Irek Ulidowski (University of Leicester, United Kingdom)
* Janis Voigtländer (University of Bonn, Germany)
* Robert Wille (University of Bremen, Germany)
* Paolo Zuliani (Carnegie Mellon University, USA)
Workshop Organizer
Holger Bock Axelsen
University of Copenhagen
Department of Computer Science
Universitetsparken 1
2100 Copenhagen, Denmark
info-AT-reversible-computation.org
http://www.reversible-computation.org