[TYPES/announce] Call for Papers - Workshop on Reversible Computation 2012

Janis Voigtländer jv at informatik.uni-bonn.de
Wed Feb 1 14:51:12 EST 2012


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

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
glueck at acm.org

Tetsuo Yokoyama
Nanzan University
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 (Centre for Quantum Technologies, 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

More information about the Types-announce mailing list