posted by user: RCseries || 3889 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 2023   Reversible Computation
SOFT 2023   9th International Conference on Software Engineering
RC 2022   Reversible Computation
S.ARCH Berlin 2023   S.ARCH BERLIN The 10th International Conference on Architecture and Built Environment 04-06 April 2023
CEC 2023   Congress on Evolutionary Computation
SPIN 2023   29th International Symposium on Model Checking of Software
evostar 2023   EvoStar 2023 - The Leading European Event on Bio‑Inspired Computation
SEA 2023   12th International Conference on Software Engineering and Applications
EvoCOP 2023   Evolutionary Computation in Combinatorial Optimization
SOMET 2023   SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques