June 4-5, 2026, Venice, Italy

Following the success of CSV 22, CSV 23, CSV 24, and CSV 25, the Symposium on “Challenges of Software Verification” will take place on Thursday 4th and Friday 5th June 2026 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 an international scientific journal. The extended version of the talks presented at CSV 2022 has been published in Springer-Nature, the ones of CSV 24 have been published in a special chapter of STTT, the ones of CSV 24 have been published in a special issue of STTT, and the articles submitted at CSV 2025 are currently under review for a special issue of STTT.

Program committee

Pietro Ferrara, general chair

Luca Negrini, program co-chair

Luca Olivieri, program co-chair

Maikel Lázaro Pérez Gort

Giacomo Zanatta

Giacomo Boldini

Greta Dolcetti

Teodors Lisovenko

Steering committee

Agostino Cortesi (Ca’ Foscari University of Venice, Italy)

Pietro Ferrara (Ca’ Foscari University of Venice, Italy)

Vincenzo Arceri (University of Parma, Italy)

Gianluca Caiazza (SDU, Vejle, Denmark)

Important dates

All dates are tentative and might change in the future.

  • February 15th: deadline for abstract submissions
  • March 15: acceptance notification
  • April 30: symposium registration
  • June 4-5: symposium
  • June 31: full version for special issue submission