Challenges of Software Verification Symposium 2023

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