2026/02/18
On 5 February, the VASSAL project supported an online NCP event dedicated to Horizon Europe Twinning, reaching approximately 250 participants mainly from Czechia and Slovakia We were positively surprised by the strong interest and the number of institutions already preparing to apply for upcoming Twinning calls.
Read more »
2026/02/17
On 2–3 February 2026, the VASSAL consortium gathered at CEA-List (Nano-Innov, France) for two intensive days that marked an important milestone in the project’s evolution. More than a scientific workshop, the meeting became a strategic reflection on how research excellence translates into industrial relevance, policy positioning, standardisation, and long-term institutional strength.
Read more »
2026/01/28
On 14-15 January 2026, a two-day series of AI workshops led by Prof. Dr. Daniel Mertens offered participants valuable insights into the practical, creative, and responsible use of artificial intelligence in both scientific and administrative contexts.
Read more »
2025/12/15
We are pleased to invite you to a two-day series of interactive workshops led by Prof. Dr. Daniel Mertens, focused on practical and creative applications of artificial intelligence in administrative work, IT, and scientific research. The programme is structured into two full workshop days. The Friday session will also be available online.
Read more »
2025/09/17
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.
Read more »
2025/08/06
The mini course will cover the following subjects: what inventors need to know about patents, patent examples with some useful understanding from each, patent ethics, and ways of monetizing patents. Participants will gain insights on how to improve ideas and what to do with ideas in order to avoid mistakes.
Read more »
2025/07/25
We have hosted two insightful research talks at Brno University of Technology. The events brought together local and international researchers to engage with the latest developments in theoretical computer science and system verification.
Read more »
2025/05/26
Winning the Best Student Paper Award at the AAMAS'25 conference, this VASSAL project research by Pontiggia, Macák, Andriushchenko, Chiari, & Češka (led by Assoc. Prof. Milan Češka) introduces innovative multi-agent planning. This work stood out among over 1000 submissions to gain acceptance at a CORE A* conference.
Read more »
2025/05/01
Explore software verification and runtime analysis at the VASSAL Workshop on September 15, 2025, in Graz, Austria, held in conjunction with the Runtime Verification conference.
Read more »
2025/04/15
On April 8–9, 2025, the VASSAL Project successfully hosted a two-day workshop in Brno, welcoming David Kolman from TU Wien’s Funding Support and Industry Relations Unit (FSIRU).
Read more »
2025/01/31
The VASSAL project successfully hosted a three-day workshop in Vienna from January 22–24, 2025, bringing together leading researchers, university administrators, and innovation experts from TU Wien, CEA, and BUT.
Read more »
2024/12/09
The VASSAL project team recently hosted an engaging workshop with Vit Dočkal, a distinguished expert in EU funding and project management.
Read more »
2024/12/05
We are pleased to introduce Roderik, the newest member of our team, who will be supporting the VASSAL project. With valuable experience in project administration and implementation from the United Kingdom, Roderik will contribute to the project’s successful execution.
Read more »
2024/09/05
The VASSAL project was recently presented at the 16th Alpine Verification Meeting (AVM’24), held from 4th to 6th September 2024 in Freiburg im Breisgau, Germany.
Read more »
2024/06/17
On June 17th, 2024 the kick-off meeting of the VASSAL project was held at the Faculty of Information Technology, Brno University of Technology.
Read more »
2024/06/01
We are thrilled to announce the official launch of the VASSAL project (Verification and Analysis for Safety and Security of Applications in Life).
Read more »