8th International Workshop on Reachability Problems (RP2014)

      22 – 24 September 2014, Oxford

Guidelines for Submission

There are two categories of submissions:

Regular Papers

Authors are invited to submit a draft of a full paper with at most 12 pages formatted according to LNCS guidelines. By submitting you agree that, in case of acceptance, at least one (co-)author will register and present the paper at the workshop. 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 pdf. Simultaneous submission to other conferences or workshops with published proceedings is not allowed.

The submission server is now closed.  

The date for author notification is 4th July 2014, with final version due on 14th July 2014.

Presentation-Only Track

In addition to regular papers that will appear in our LNCS proceedings, we invite researchers to apply to give a presentation at RP 2014 without an accompanying paper.  Such presentations can be based on work that has appeared (or which is going to appear) in the proceedings of another conference, or which has not yet been submitted.  These contributions will be judged solely on the basis of their attractiveness to the workshop.

To apply to give such a presentation, please submit a PDF file containing a short abstract (up to two pages) by e-mail [ rp2014 at easychair.org ] by August 4th 2014, with  subject “RP2014 Presentation-Only Track”.  This abstract will not be published in the conference proceedings.