Events

2025

• Challenges of Software Verification Symposium 2025
  5 June 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