Events
2025
-
Challenges of Software Verification Symposium 2025
5 June 2025 -
2024 (yet 2025!) SSV yearly workshop
16 January 2025
2024
-
Challenges of Software Verification Symposium 2024
6 June 2024 -
2023 (yet 2024!) SSV yearly workshop
12 January 2024
2023
-
2023 SSV semestral workshop
15 June 2023 -
Challenges of Software Verification Symposium 2023
25 May 2023 -
ESA_Labs Annual Event 'Space Data Management Workshop'
8 May 2023
2022
-
2022 SSV annual workshop
29 November 2022 -
Principles of Abstract Interpretation
23 May 2022 -
Challenges of Software Verification Symposium 2022
20 May 2022