Location: Department of Mathematical, Physical and Computer Sciences, University of Parma (map)

For our semestral workshop, this time we gather at the University of Parma! The event will take place on June 23rd. We will review the progress made so far this year and plan the activities ahead. The workshop is by invitation only.

Time What
9:00-9:30 Arrival and registration
9:30-10:00 Pietro Ferrara: “Static analysis for security and privacy: where the group is heading”
10:00-10:30 Luca Negrini: “LiSA: the state of multi-language static analysis”
10:30-11:00 Luca Olivieri: “Formal verification of blockchain smart contracts”
11:00-11:30 Coffee break
11:30-12:00 Vincenzo Arceri: “String analysis and abstract interpretation for dynamic languages”
12:00-12:30 Greta Dolcetti: “Abstract interpretation for data science and machine learning software”
12:30-13:00 Giacomo Boldini: “Explainable code similarity via control flow graph features”
13:00-14:30 Lunch at Osteria dei Servi (map)
14:30-15:00 Filippo Bianchi: “JLiSA: bringing the Java frontend of LiSA to SV-COMP”
15:00-15:30 Teodors Lisovenko: “Static analysis of microservices in distributed web systems”
15:30-16:00 Raunak Bag: “Privacy risks in WiFi beamforming feedback information”
16:00-16:30 Maikel Lázaro Pérez Gort: “Watermarking for data authenticity and integrity”
16:30-17:00 Coffee break
17:00-17:30 Mandira Roy: “From system requirements to formal models: robotics and emotional impact”
17:30-18:00 Agostino Cortesi: “What is left for 2026? Closing remarks and plans”