2nd Workshop on Reachability Problems

September 15–17, 2008, Liverpool, UK

Guidelines for submissions

Authors are invited to submit a draft of a full paper with at most 12 pages. Electronic Notes in Theoretical Computer Science (ENTCS) have agreed to publish the proceedings of RP08. ENTCS require submissions in LaTeX, formatted according to their guidelines . Proofs omitted due to space constraints must be put into an appendix to be read by the program committee members at their discretion. Submissions deviating from these guidelines risk rejection. Electronic submissions should be formatted in postscript or pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed.

Submission server is closed.

In addition to the formal presentations based on our ENTCS proceedings volume, we invite researchers to present informal presentations. For this, please send us a brief description of your talk (in PDF-format, at most 2 pages) before 1 August 2008.

You can submit an informal presentation by e-mail [rp2008 at csc.liv.ac.uk]. Please include the following details: Your Name, E-Mail Address, Personal Homepage, Affiliation, Name(s) of co-author(s) (if applicable), Title of the Talk and Extended abstract. You will be notified whether your informal presentation has been accepted usually within a week after the deadline.


The proceedings of the workshop will appear in Electronic Notes in Theoretical Computer Science (ENTCS). ENTCS is published electronically on ScienceDirect©, Elsevier's main platform for electronic publication to provide rapid publication and broad dissemination of the volumes in the series. Selected papers will appear in a special issue of a high quality journal.