This September, we had the privilege of hosting the 25th International Conference on Runtime Verification (RV) at TU Graz! 😎🎉
Our guests joined us for 5 days filled with workshops, keynotes, engaging talks, and tech demos. There were also numerous networking opportunities, including a cocktail party and our social event: a visit to the Riegersburg bird of prey observatory, followed by dinner at a traditional Styrian Buschenschank.
Denne gang har Indenrigsministeriet lempet på reglerne så nu må du godt sættte flueben, stjerne, cirkel, skravere en boks 🥳 ❌ ✅ 🌟 ⬛ 🥳
DR's Guide til at sætte X'et rigtigt
https://www.dr.dk/nyheder/politik/kommunalvalg/saadan-saetter-du-x-et-rigtigt
From September 15 to 19, 2025, we’re hosting the 25th International Conference on Runtime Verification (RV 2025) at TU Graz!
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.
Find out more: https://rv25.isec.tugraz.at/
ISEC @ TU Graz
Markgreve Adam af Jazz
Ada Ada Ada