June 5-6, 2025, Venice, Italy

Following the success of CSV 22, CSV 23, and CSV 24, the Symposium on “Challenges of Software Verification” will take place on Thursday 5th and Friday 6th June 2025 in the Aula Baratto of Ca’ Foscari University of Venice. The 2-day event will be organized in several sessions. The scope of the symposium will cover theoretical results in the field of software verification, their practical applications, novel and innovative tools, and their impact of software verification in software engineering and DevOps practices. The symposium will not have published proceedings, but authors of selected abstracts will be invited to submit a full paper to a special issue of the Springer International Journal on Software Tools for Technology Transfer - STTT. The extended version of the talks presented at CSV 2022 has been published in Springer-Nature, the ones of CSV 23 have been published in a special chapter of STTT, and the articles submitted at CSV 2024 are currently under review for a special issue of STTT.

Organizing committee

Agostino Cortesi (University of Venice), general chair

Pietro Ferrara (University of Venice), program co-chair

Vincenzo Arceri (University of Parma), program co-chair

Gianluca Caiazza (University of Venice), local chair

Maikel Lázaro Pérez Gort (University of Venice), publicity chair

Luca Negrini (University of Venice), web chair

Luca Olivieri (University of Venice), sponsorship chair

Important dates

All dates are tentative and might change in the future.

  • March 20: deadline for abstract submissions
  • April 15: acceptance notification
  • May 20: symposium registration
  • June 5-6: symposium