7th International workshop on Reachability Problems

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.

Authors are welcome to submit their paper before 24 May 2013 through EasyChair using following the link: https://www.easychair.org/conferences/?conf=rp2013

informal Presentations

In addition to the formal presentations based on our LNCS proceedings volume, we invite researchers to submit a paper which recently appeared (or which is going to appear) in proceedings of another conference, or which has not yet been submitted. Neither the paper nor the abstract will be published in the proceedings. These contributions will be judged solely on the basis of their attractiveness to the workshop. The deadline for submission of Informal Presentations at RP 2013 is 12 August 2013. Please submit a pdf file containing your abstract and short paper (upto 4 pages in LNCS format) by e-mail [ rp2013 at easychair.org ] with a subject "RP2013 Informal Presentation".

  Important dates:

  Submission deadline
  for 4-pages abstracts:
  12 August 2013

  Notification to authors
  for 4-pages abstracts::
  19 August 2013

  Workshop:
   25 - 27 September 2013