The 18th International Conference on Reachability Problems (RP'24)
Date: Sep 25, 2024 6:00 am – Sep 27, 2024 4:00 pm
Location: 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.
Important Dates:
- Abstract submission deadline: June 24, 2024
- Paper Submission deadline Jun 26, 2024
- Notification: Jul 30, 2024
- Final Version: Aug 5, 2024
Keynote Speakers:
- Ezio Bartocci, TU Wien
- Joost-Pieter Katoen, RWTH Aachen
- Antonín Kučera, Masaryk University
- Ruzica Piskac, Yale UniversityTutorial Speaker:
- K. S. Thejaswini, IST Austria
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
Submitted by Amy Karns
on
Date: Sep 25, 2024 6:00 am – Sep 27, 2024 4:00 pm
Location: 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.
Important Dates:
- Abstract submission deadline: June 24, 2024
- Paper Submission deadline Jun 26, 2024
- Notification: Jul 30, 2024
- Final Version: Aug 5, 2024
Keynote Speakers:
- Ezio Bartocci, TU Wien
- Joost-Pieter Katoen, RWTH Aachen
- Antonín Kučera, Masaryk University
- Ruzica Piskac, Yale UniversityTutorial Speaker:
- K. S. Thejaswini, IST Austria
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
Submitted by Amy Karns
on