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

The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical 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