IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools


RP 2019: International Conference on Reachability Problems - Call for paper, ranking, acceptance rate, submission deadline, notification date, conference location, submission guidelines, and other important details


This article provides the call for paper, ranking, acceptance rate, submission deadline, notification date, conference location, submission guidelines, and other important details of RP 2019: International Conference on Reachability Problems all at one place.

Conference Location Brussels, Belgium
Conference Date 2019-09-11
Notification Date 2019-07-12
Submission Deadline 2019-06-17
Conference Website and Submission Link https://sites.uclouvain.be/rp2019/


Conference Ranking


International Conference on Reachability Problems ranking based on CCF, Core, and Qualis is shown below:

CCF Ranking
Core Ranking
Qualis Ranking

Click here to check the ranking of any conference.
  • About CCF Ranking: The Chinese Computing Federation (CCF) Ranking provides a ranking of peer-reviewed journals and conferences in the field of computer science.

  • About Core Ranking: The CORE Conference Ranking is a measure to assess the major conference in the computing field. This ranking is governed by the CORE Executive Committee. To know more about Core ranking, visit Core ranking portal.

  • About Qualis Ranking: This conference ranking is published by the Brazilian ministry of education. It uses the h-index as a performance metric to rank conferences. Conferences are classified into performance groups that range from A1 (to the best), A2, B1, B2,..., B5 (to the wost). To know more about qualis ranking, visit here

Conference Acceptance Rate


Below is the acceptance rate of International Conference on Reachability Problems conference for the last few years:

Year Submitted Papers Accepted Papers Accepted Percentage/Acceptance Rate

We are working hard to collect and update the acceptance rate details of the conferences for recent years. However, you can consider the above (if available) acceptance rates to predict the average chances of acceptance of your research paper at this conference.



Conference Call for paper


Conference website https://sites.uclouvain.be/rp2019/
Submission link https://easychair.org/conferences/?conf=rp20190
Submission deadline June 17, 2019
Presentation-only submission deadline July 1, 2019
Notification July 12, 2019

The Computer Science Department @ULB and the ICTEAM Institute @UCLouvain are excited to announce the

13th International Conference on Reachability Problems 2019.

Brussels, Belgium, September 11-13, 2019.

https://sites.uclouvain.be/rp2019/

Submission deadline for regular papers: June 17th. Notifications: July 12.

Submission Guidelines

There are two categories of submissions:

Regular Papers

Authors are invited to submit a draft of a full paper with at most 12 pages (excluding the bibliography) formatted according to LNCS guidelines.

Authors are asked to submit their paper through EasyChair. Submission deadline: June 17.
 

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.

List of Topics

  • Logic Verification and Synthesis
  • Hybrid Dynamical Systems
  • Game Theory
  • Computational Models

Invited Talks

  • Temporal Logics for Multi-Agent SystemsThomas Henzinger (IST Austria)
  • Primitivity and synchronizing automata: a functional analytic approachVladimir Protasov (HSE Moscow)
  • The Reachability Problem for Petri Nets is Not ElementarySlawomir Lasota (U. Warsaw)
  • Reaching out towards fully verified autonomous systemsSriram Sankaranarayanan (U. Colorado Boulder)

Tutorial talk:

Registration Fees

student: 190€, regular: 220€ (before August 15)

Committees

Organizing committee

Program committee

  • Emmanuel Filiot, (Co-Chair)
  • Raphael Jungers, (Co-Chair)
  • S. Akshay (IIT Bombay)
  • Igor Potapov (U. Liverpool)
  • Bernard Boigelot (U Liège)
  • Mickael Randour (U. Mons)
  • Patrick Totzke (U. Liverpool)
  • Guillermo Perez (U. Antwerp)
  • Fribourg Laurent (CNRS)
  • Nicolas Mazzocchi (ULB)
  • Maria Prandini (P. Milano)
  • Shinnosuke Seki (U. Electro-communications)
  • Nathalie Bertrand (INRIA)
  • Paul Bell (John Moores Univ.)
  • Axel Legay (UCLouvain)
  • Vesa Halava (U. Turku)
  • Pierre-Alain Reynier (U. Aix-Marseilles)
  • Nathanaël Fijalkow (CNRS)
  • Christel Baier (TU-Dresden)
  • Gilles Geeraerts (ULB)
  • Alessandro D'Innocenzo (U. L'Aquila)
  • Matthew Hague (Royal Holloway U.)
  • Alexander Rabinovich (Tel Aviv U.)
  • Martin Lange (U. Kassel)
  • Ahmed Bouajjani (U. Paris-Diderot)
  • Nikos Athanasopoulos (Queens U. Belfast)
  • Pavithra Prabhakar (Kansas State Univ.)

Publication

RP 2019 proceedings will be published in Springer's LNCS series.

A selection of works will be invited to a special issue of a journal (tba).

Venue

The conference will be held in the beautiful city center of Brussels, at the University Foundation.

Contact

All questions about submissions should be emailed to [email protected]


Submission Deadline


RP 2019: International Conference on Reachability Problems submission deadline is 2019-06-17.

Note: It is generally recommended to submit your conference paper on or before the submission deadline. Generally, conferences do not encourage to submit the research paper after the deadline is over. In rare scenarios, conferences extend their deadline. Decision about the extension of the deadline is generally updated on the official conference webpage.


Notification date


Notification date of RP 2019: International Conference on Reachability Problems is 2019-07-12.

Note: This is the date on which conference announces the result about acceptance or rejection of submitted papers. If your research paper is accepted, the conference will request you to submit the camera ready version of your research paper by the due date. Due date to submit the camera ready version of the paper is generally posted on the official web page of the conferences or notified to you via. email.


Conference Date


RP 2019: International Conference on Reachability Problems will start on 2019-09-11.

Note: This is the date on which the conference starts.


Conference Location


RP 2019: International Conference on Reachability Problems will be organized at Brussels, Belgium. This is the place where the conference is organized and the research paper is to be presented.