22 March 2009, York, England
A Satellite Workshop of ETAPS 2009
The proceedings of RC 2009 appeared as volume 253 issue 6 of the Electronic Notes in Theoretical Computer Science and contain, among others, short papers by the four invited speakers.
Some of the participants requested that the slides of the presentations be provided on the workshop's web site. They are now available at Scientific Programme and Slides of Presentations.
rc2009 AT mcs.le.ac.uk
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 2009 will address these research areas as well as topics concerning the development of reversible computers, including reversible logic gates and networks and reversible processor architectures.
This workshop aims at being a forum for researchers and students interested in new developments, and directions for future investigation, in the field of reversible computation. One of the specific goals of the workshop is to establish cooperation among experts from a variety of fields of computer science and software engineering who are interested in reversibility. RC 2009 aims also at widening the knowledge of reversible computation among postgraduate students and young researchers from the UK and abroad.Format:
In order to achieve the aims of the workshop the programme will consist of two approximately equal parts:
The invited lectures and tutorials will be delivered by leading international experts and will cover topics on the foundations of reversible computation and on recent theoretical and practical developments. They will cover the foundations of reversible computation, physical and logical reversibility, reversible discrete event simulation, reversible computing and cellular automata and reversible programming languages.Funding:
We have secured a small grant from EPSRC to support participation of several eminent scientists to deliver invited lectures and tutorials and to partially sponsor UK-based PhD students interested in reversible computation research.
If you are PhD student supported via EPSRC DTA mechanism and you are interested in attending RC 2009, please get in touch with the workshop organiser via the workshop email. Since the number of sponsored places is limited please send your enquiry without delay.Submission Guidelines:
Several types of contributions are welcome:
The contributions should be in PostScript or PDF format, using ENTCS style files. Prospective authors are invited to send their submissions to the workshop email address. The email message should also include, in plain text, contact information for the author(s), together with the title and abstract of the submission.
The accepted contributions will appear as the preliminary proceedings at the workshop. The final proceedings, containing the final versions of full accepted papers, will also be published in ENTCS.