September 25-27, 2024, TU Wien, Vienna, Austria

The 18th International Conference on Reachability Problems (RP'24) takes place at  the TU Wien as a physical meeting, co-organized by the Formal Methods in Systems Engineering Research Unit (TU Wien) and the Wolfgang Pauli Institute.

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