RC (Workshop : Reversible computation) (4th 2012 Copenhagen, Denmark)