Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact ocs_support@springer.com for further guidance.


Welcome to the conference service of RP2020

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:14th International Conference on Reachability Problems - RP2020
Description: The institut de recherche en informatique fondamentale at Université de Paris organises the 14th International Conference on Reachability Problems (RP'20). Papers presenting original contributions related to reachability problems in different computational models and systems are being sought. This will also be the occasion to review recent breakthroughs by renowned invited experts and survey emerging trends and emphasise on key open challenges. Participants are kindly encouraged to discuss core scientific issues that need to be further tackled. The conference proceedings will be published in Springer's Lecture Notes in Computer Science (LNCS). A selection of articles among the contributed papers will be invited to a special issue of a journal (TBA).
PC Chairs:Igor Potapov
Sylvain Schmitz
Conference flow:Abstract Submission: July 17, 2020 23:59 CEST,
Paper Upload: July 17, 2020 23:59 CEST,
Assignment of Reviewers: July 17, 2020 23:59 CEST,
Review: August 12, 2020 23:59 CEST,
Decision: August 17, 2020 23:59 CEST,
Final: September 7, 2020 23:59 CEST

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair

  • Submit abstract
    arrow

    Submit abstract