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.

Tentative Schedule

4 June

   
11:00-13:00 Session: Program Verification (chair: Greta Dolcetti)
11:00 Cosimo Laneve (in collaboration with: Reiner Hahnle): Verification of legal contracts via Java/JML and KeY
11:30 Moreno Falaschi (in collaboration with: Linda Brodo, Fiamma Romagnoli, Elisa Tiezzi): Mamdani-Driven Fuzzy Reaction Systems
12:00 Alessandro Cimatti (in collaboration with: Alberto Griggio, Christian Lidstrom, Gianluca Redondi, Dylan Trenti): Verification of Configurable SRA Systems
12:30 Sara Migliorini (in collaboration with: Fausto Spoto): Testing Smart Contracts against an Abstract Blockchain Interface
13:00-14:00 Lunch
14:00-15:30 Session: Theory of Static Program Analysis (chair: Giacomo Boldini)
14:00 Benoît Montagu (in collaboration with: Thomas Jensen): Control Flow Analysis as Abstract Interpretation
14:30 Isabella Mastroeni: Precision Matters, but Perfection Is Impossible: Where We Stand and Where We Go
15:00 Roberto Bruni (in collaboration with: Flavio Ascari, Lorenzo Gazzella, Roberta Gori): A logic for all reasons
15:30-16:00 Coffee break
16:00-17:30 Session: Practice of Static Program Analysis (chair: Luca Negrini)
16:00 Florian Sihler (in collaboration with: Oliver Gerstl, Matthias Tichy): Abstract Interpretation and Dataflow Analysis for Data Science
16:30 Daniel Jurjo-Rivas (in collaboration with: Daniela Ferreiro, Marco Ciccale, Jose F. Morales, Pedro López-García, Manuel Hermenegildo): Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
17:00 Giovanni Denaro (in collaboration with: Francesco Refolli, Vincenzo Arceri, Morris Roberti): Symbolic Execution Revisited: Mitigating Path Explosion through Value-Oriented Symbolic Execution in LiSA
19:00-22:00 Social Dinner

5 June

   
9:30-10:30 Session: Software Engineering (chair: Maikel Lázaro Pérez Gort)
9:30 Thomas Jensen (in collaboration with: Alexandre Drewery, David Pichardie): Equality saturation for code refactoring
10:00 Raunak Bag: Digital Twin Simulation Methodology for Robotic Software Verification
10:30-11:00 Coffee break
11:00-12:30 Session: Applications and Security (chair: Teodors Lisovenko)
11:00 Laura Canaia (in collaboration with: Mila Dalla Preda): What Causes What, and Who Is Responsible?
11:30 Maikel Lázaro Pérez Gort (in collaboration with: Agostino Cortesi): Are relational data watermarking schemes still secure against LLM-assisted adversaries?
12:00 Marco De Vincenzi (in collaboration with: Gabriele Costa, Ilaria Matteucci, Chiara Bodei): Proximity-Aware Authentication in Automotive Systems through Distance Bounding
12:30-14:00 Lunch

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)

Patrick Cousot (NYU, U.S.A.)

Caterina Urban (INRIA Paris, France)

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 30: full version for special issue submission