| 22-27 September 2025 | VASSAL PhD students participated in an international summer school on AI and cybersecurity in Vienna | Vienna |
| 15 September 2025 | VASSAL Workshop at Runtime Verification 2025 in TU Graz | TU Graz |
| 2-3 September 2025 | Mini course Shmuel Ur: Patents – what inventors should know | Brno |
| 18 July 2025 | Guest lecture by Nicolas Mazzocchi: Temporal Explorability Games video recording | Brno |
| 17 July 2025 | Guest lecture by Yong Li: A family of finite automata for recognizing and learning ω-regular languages | Brno |
| 11 June 2025 | Guest lecture by Martin Tappler: Testing of Deep Reinforcement Learning Agents: Challenges and Solutions video recording | Brno |
| 8-9 April 2025 | Two-day workshop in Brno with David Kolman from TU Wien's Funding Support and Industry Relations Unit (FSIRU) | Brno |
| 22-24 January 2025 | VASSAL Project Workshop in Vienna: Strengthening Collaboration | Vienna |
| 26 November 2024 | Guest lecture by Francesco Pontiggia: Model Checking Recursive Probabilistic Programs video recording | Brno |
| 13 September 2024 | Guest lecture by Clemens Eisenhofer: String Solving via Compressing Nielsen Graphs video recording | Brno |
| 9 September 2024 | VASSAL Workshop with Vit Dočkal: Learning from a Leading Project Management Expert | Brno |
| 4-6 September 2024 | Alpine Verification Meeting (AVM'24) | Freiburg im Breisgau |
