25-26 May 2023, Venice, Italy
Following the success of the first CSV workshop in 2022, the Symposium on “Challenges of Software Verification” will take place on Thursday 25th and Friday 26th May 2023 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. Authors can submit extended abstracts (at most 1000 words) through a Google Form. 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. The extended version of the talks presented at CSV 2022 is currently under publication as a Springer-Nature volume.




Pictures of CSV 2022
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, Corvallis SRL), web chair
Luca Olivieri (University of Verona, Corvallis SRL), sponsorship chair
Important dates
- February 28: deadline for abstract submissions – link for submission
- March 15: acceptance notification
- April 1: symposium registration
- May 25-26: symposium
- July 31: full version for special issue submission