Please distribute to anyone who may be interested. ============================================================== Call for Participation 4th Workshop on Reversible Computation (RC 2012) July 2nd-3rd, 2012, Copenhagen, Denmark 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 electrical engineering to discuss new developments and directions for future research in Reversible Computation. This also includes applications of reversibility in quantum computation. The 4th Workshop on Reversible Computation will take place on July 2nd and 3rd, 2012 in Copenhagen, Denmark and is organized by the University of Copenhagen. Previous editions of the Workshop on Reversible Computation took place in York (UK), Bremen (Germany), and Gent (Belgium). ===== Technical Program ===== This year, we received a record number of 46 submissions out of which 15 full papers, 7 work-in-progress papers, and 1 tutorial paper have been accepted. A full list of all papers accepted for RC 2012 is provided at http://www.reversible-computation.org/2012/cms/index.php?program The program features an invited talk by Eric Lutz, Freie Universität Berlin, on "The Physics of Information: from Maxwell's Demon to Landauer". The full program will be published soon. ===== Registration ===== Interested researchers are invited to participate at the workshop. DKK 1500,- (approx. 200 EUR). This includes food and refreshments (i.e. lunch for Monday and Tuesday, dinner for Monday, coffee breaks, etc.), one ticket for the social event, as well as (informal) proceedings. Registration website: http://www.reversible-computation.org/2012/cms/index.php?registration ===== 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 (Centre Quantum Tech, Singapore) * Jarkko J. Kari (University of Turku, Finland) * Martin Kutrib (University of Giessen, Germany) * Per Larsson-Edefors (Chalmers University of Technology, Sweden) * Kazutaka Matsuda (University of Tokyo, 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@reversible-computation.org http://www.reversible-computation.org