June 6-7, 2024, Venice, Italy

Following the success of CSV 22 and CSV 23, the Symposium on “Challenges of Software Verification” will take place on Thursday 6th and Friday 7th June 2024 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. The extended version of the talks presented at CSV 2022 has been published in Springer-Nature, while the articles submitted at CSV 2023 are currently under review for a special issue of the Springer-Nature International Journal on Software Tools for Technology Transfer.

Tentative Schedule

6 June

10:45-11:00 Welcome
11:00-13:00 Technical session
13:00-14:00 Lunch break
14:00-16:00 Technical session
16:00-16:30 Coffe break
16:30-18:30 Technical session
19:00 Social dinner (not covered)

7 June

9:00-10:30 Technical session
10:30-11:00 Coffe break
11:00-12:30 Technical session
13:00-14:00 Lunch break (not covered)

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 6-7: symposium