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 »