25th International Conference on Runtime Verification (RV 2025)
Art
Themenbereich
- Information Communication & Computing (Field of Expertise)
The RV series is an annual event that brings together researchers and practitioners from academia and industry who are interested in novel, lightweight formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques play a vital role in ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness compared to conventional testing, while remaining more practical than exhaustive formal verification.
This year’s edition features three co-located workshops - RVmeetsMBD, RVCase, and VASSAL - which will take place on September 15. We are also delighted to welcome an outstanding lineup of keynote speakers: Thomas Henzinger, Nils Jansen, Ankush Desai, and Daniela Micucci.
Veranstaltet von
TU Graz (ISEC - Institute of Information Security), TU Wien
Zeit und Ort
15. September 2025, 09:00 - 19. September 2025, 17:00
TU Graz, Campus Inffeldgasse, Lecture Hall i1, Inffeldgasse 11, 8010 Graz
Zusatzinformationen
Abhaltungssprache:
Kostenpflichtig
Link zur Anmeldung: https://rv25.isec.tugraz.at/registration/
Kontakt
Theresa Dachauer
ISEC - Institute of Information Security
socialmedia.isec@tugraz.at
Tel.: +43 316 873 5577
