This week, we had the chance to visit TU Graz and host a workshop with a dedicated forum organized within the Runtime Verification 2025. The forum brought together researchers from the EU Twinning-funded VASSAL project and the broader runtime verification community. The workshop program featured invited talks from leading experts, presentations from VASSAL researchers, and selected contributions from the runtime verification community. From BUT, we had the chance to hear from Filip Macák, Milan Češka, David Chocholatý, Tomáš Dacík, and Roderik Valko.
Among the invited speakers were Dr. Nickovic, a leading expert in runtime verification and cyber-physical systems whose research focuses on time property monitoring, contract-based design, and real-time systems, and Prof. Wolfgang Ahrendt from Chalmers University of Technology in Gothenburg, renowned for his work on deductive software verification and on combining static verification with runtime verification and testing.
The workshop not only highlighted the scientific excellence of our colleagues but also promoted a valuable exchange of experiences with the international community. Discussions during the forum demonstrated the importance of linking theoretical advances with practical challenges in verification and opened up several new avenues for collaboration. For the VASSAL project, this event represented an important milestone in strengthening ties between institutions and demonstrated its role in shaping the future of reliable and verifiable systems. The workshop provided a friendly and open environment for exchanging ideas and exploring opportunities for collaboration.
