RP24: INTERNATIONAL CONFERENCE ON REACHABILITY PROBLEMS 2024
The 18th International Conference on Reachability Problems - RP 2024

September 25-27, TU Wien, Vienna, Austria

The 18th International Conference on Reachability Problems (RP'24) is being organised as a phyical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien

The conference is aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in

  • Algebraic structures
  • Automata theory and formal languages
  • Computational game theory
  • Concurrency and distributed computation
  • Decision procedures in computational models
  • Hybrid dynamical systems
  • Logic and model checking
  • Verification of finite and infinite-state systems