RP24: INTERNATIONAL CONFERENCE ON REACHABILITY PROBLEMS 2024
CFP

Original research papers (up to 12 pages) and presentation-only contributions (short abstract), with clear relevance to reachability problems, are both encouraged.

Topics of interest include (but are not limited to):

  • reachability problems in infinite-state systems
  • rewriting systems
  • dynamical and hybrid systems
  • reachability problems in logic and verification
  • reachability analysis in different computational models
  • counter timed/ cellular/ communicating automata
  • Petri nets
  • computational and combinatorial aspects of algebraic structures (semigroups, groups and rings)
  • frontiers between decidable and undecidable reachability problems
  • predictability in iterative maps and new computational paradigms.

Submissions should be prepared using the Springer LNCS guidelines and submitted via the link https://easychair.org/conferences/?conf=rp24

Accepted original papers will be published in the Springer LNCS proceedings of RP'24. 

Abstracts of accepted presentation-only contributions will not be published in the Springer LNCS proceedings of RP'24.