posted by user: RCseries || 3645 views || tracked by 5 users: [display]

RC 2012 : Workshop on Reversible Computation


Conference Series : Reversible Computation
When Jul 2, 2012 - Jul 3, 2012
Where Copenhagen, Denmark
Abstract Registration Due Mar 2, 2012
Submission Deadline Mar 9, 2012
Notification Due May 7, 2012
Final Version Due Jun 1, 2012
Categories    software   hardware   architecture   languages

Call For Papers


Call for Papers

4th Workshop on Reversible Computation
(RC 2012)

July 2nd-3rd, 2012, Copenhagen, Denmark
Abstract Submission: March 2nd, 2012
Submission Deadline: March 9th, 2012


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:

===== Program Chairs =====
Robert Glück
University of Copenhagen

Tetsuo Yokoyama
Nanzan University

===== 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

Related Resources

RC 2021   13th Conference on Reversible Computation
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence
(IN)TANGIBLE HERITAGE(S) 2022   (IN)TANGIBLE HERITAGE(S): A conference on design, culture and technology – past, present, and future
PRA 2022   2022 4th Workshop on Pattern Recognition Applications (PRA 2022)
CMC 2022   International Conference on Control, Modeling and Computing
EuroGP 2022   European Conference on Genetic Programming
ICAS 2022   10th International Conference on Asian Studies 2022
ISMSI 2022   ISMSI 2022 : International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence
STOC 2022   Symposium on the Theory of Computing