Runtime Verification: FIT BUT researchers organized a workshop at TU Graz

Last week, our researchers involved in the VASSAL project (funded by the EU Twinning program) had the opportunity to visit TU Graz and organize an introductory workshop with a dedicated forum as part of the Runtime Verification 2025 conference. The forum brought together researchers from the project and the wider runtime verification community. The workshop program included invited talks by leading experts, presentations by researchers from FIT, and selected contributions from the runtime verification community. Filip Macák, Milan Češka, David Chocholatý, and Tomáš Dacík presented their contributions on behalf of BUT; Roderik Valko introduced the VASSAL project.

Dr. Dejan Nicković (Austrian Institute of Technology) was invited to the workshop program. He is a leading expert in the field of runtime verification and cyber-physical systems, and his research focuses on time property monitoring, contract-based design, and real-time systems. Another guest was Wolfgang Ahrendt, professor at Chalmers University of Technology in Gothenburg. His scientific contribution lies in deductive software verification, runtime verification, and combinations of static verification with runtime verification and testing.

Participation in the workshop itself demonstrates the scientific excellence of our colleagues, and the event also promoted a valuable exchange of experiences with the international community. The main organizer of the workshop, Milan Češka, gave a positive assessment of the event: "The atmosphere of the workshop was relaxed and friendly, but at the same time professionally at the highest level. As part of the VASSAL project, we are very pleased to have been able to be part of RV Graz 2025 and organize our own forum. During the workshop, we had the opportunity to hear inspiring contributions from our doctoral students and colleagues from TU Wien and CEA. I most appreciate that the program was designed to create space for open discussion and the search for new opportunities for collaboration." Discussions during the forum highlighted the importance of linking theoretical progress with practical challenges in the field of verification. For the VASSAL project itself, the event was a milestone in strengthening ties between institutions and demonstrated the project's role in shaping the future of reliable and verifiable systems.