June 4-5, 2026, Venice, Italy

SAVE THE DATE: CSV 27 will take place on 10 and 11 June 2027!

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 in Springer-Nature (2022), a special chapter of STTT (2023), a special issue of STTT (2024), a special issue of STTT (2025).

Pictures

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 SLIDES
11:30 Linda Brodo (in collaboration with: Moreno Falaschi, Fiamma Romagnoli, Elisa Tiezzi): Mamdani-Driven Fuzzy Reaction Systems SLIDES
12:00 Alessandro Cimatti (in collaboration with: Alberto Griggio, Christian Lidstrom, Gianluca Redondi, Dylan Trenti): Verification of Configurable SRA Systems SLIDES
12:30 Sara Migliorini (in collaboration with: Fausto Spoto): Testing Smart Contracts against an Abstract Blockchain Interface SLIDES
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 SLIDES
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 SLIDES
15:30-16:00 Coffee break
16:00-18:00 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 SLIDES
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 SLIDES
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 SLIDES
17:30 Vivek Notani: Engineering Challenges in Large-Scale Static Analysis for Android App Safety
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 SLIDES
10:00 Raunak Bag: Investigating privacy implications of plaintext WiFi Beamforming Feedback Information SLIDES
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): On the Precision of Responsibility Analysis SLIDES
11:30 Maikel Lázaro Pérez Gort (in collaboration with: Agostino Cortesi): Are relational data watermarking schemes still secure against LLM-assisted adversaries? SLIDES
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

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