RC 2009 Call for Papers
CALL FOR PAPERS: Reversible Computation 2009 A Satellite Workshop of ETAPS 2009 22 March 2009, York, UK http://www.cs.le.ac.uk/events/RC2009/ AIMS: Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages and process [...]