==============================================================
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 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/index.php?paper_submission ===== Program Chairs ===== Robert Glück University of Copenhagen glu...@acm.org Tetsuo Yokoyama Nanzan University tyokoy...@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 i...@reversible-computation.org http://www.reversible-computation.org _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell