RC 2009            ETAPS 2009

Reversible Computation 2009

22 March 2009, York, England

A Satellite Workshop of ETAPS 2009


News: We are glad to announce that the second edition of Reversible Computation workshop will take place in early July 2010 in Bremen, Germany. Further details are available at

Reversible Computation 2010 Webpages


Reversible Computation 2009 workshop took place on the 22nd of March 2009 in York. The workshop was attended by 27 participants, including 8 UK-based PhD students whose participation was generously supported by the EPSRC. The participants commented that the workshop was interesting, stimulating and educating: a worthwhile gathering of Reversible Computation community.

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.


Scientific Programme and Slides of Presentations

Paul Vitányi's Survey Talk

Program Committee

  • Charles H. Bennett (IBM Research)
  • Vincent Danos (Paris 7)
  • Alexis De Vos (Gent)
  • Rolf Drechsler (Bremen)
  • Zhenjiang Hu (NII, Tokyo)
  • Armando B. Matos (Porto)
  • Kenichi Morita (Hiroshima)
  • Iain Phillips (London)
  • Irek Ulidowski, chair (Leicester)
  • Paul Vitányi (CWI)
  • Tetsuo Yokoyama (Nagoya)
  • Paolo Zuliani (Carnegie Mellon)

Invited Talks:

Workshop Email

rc2009 AT mcs.le.ac.uk

Workshop Organiser

Irek Ulidowski
Department of Computer Science
University of Leicester
University Road
Leicester, LE1 7RH
United Kingdom

Aim:

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:

  • invited lectures and tutorials,
  • presentations of selected research papers.

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:

  • Full papers: previously unpublished, and not under consideration for publication elsewhere, papers of not more than 15 pages long,
  • Software tool demonstration and work in progress papers at most 5 pages long.

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.

Important dates:

  • Submission of title and abstract: January 7, 2009
  • Paper submission: January 11, 2009
  • Notification to authors: February 13, 2009
  • Pre-proceedings version: February 27, 2009
  • Workshop: March 22, 2009


Irek Ulidowski, Department of Computer Science, University of Leicester.