[Haskell] Call for Participation - Workshop on Reversible Computation 2012

[Janis Voigtländer]

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 at reversible-computation.org
http://www.reversible-computation.org