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 algebras,
and even programming languages for quantum computing. Reversible
Computation […]