Location: Via Roma, 82, 32010 Tambre BL, Italy


For the fifth year, we’re organizing our yearly workshop in Tambre! And for the third year in a row, because there were too many activities during December 2025, the event will occur on February 4th and 5th. We will discuss the planning for the following year. The workshop is by invitation only. The current tentative list of participants comprises prof. Agostino Cortesi, prof. Pietro Ferrara, prof. Paolo Falcarin, prof. Vincenzo Arceri, prof. Gianluca Caiazza, prof. Luca Negrini, prof. Luca Olivieri, prof. Alvise Spano’, prof. Maikel Lazaro Perez Gort, Matteo Zanioli, Dalila Ressi, Alessandra Poggiani, Chachar Badaruddin, Giacomo Zanatta, Giacomo Boldini, Greta Dolcetti, Purbasha Chowdhury.

Time What
Day 1 February, 4th
11:00-12:00 Arrival and registration
12:30-14:00 Lunch
14:00-14:30 Agostino Cortesi: “Group Achievements”
14:30-15:00 Pietro Ferrara: “CSV 2026”
15:00-15:30 Luca Negrini: “LiSA at SV-COMP”
15:30-16:00 Luca Olivieri: “Further developments about static analysis of smart contracts”
16:00-16:30 Matteo Zanioli: “Alpenite goes to Arsenalia”
16:30-17:00 Alvise Spano’: “PLs for the blockchain”
17:00-17:30 Dalila Ressi: “Static analysis via ML”
17:30-18:00 Paolo Falcarin: “Legal Requirements Compliance using NLP and Knowledge Graphs”
18:30-21:00 Dinner
Day 2 February, 5th
09:30-10:00 Maikel Lazaro Perez Gort: “Digital watermarking: from relational data to software”
10:00-10:30 Greta Dolcetti: “Static analysis of LLMs”
10:30-11:00 Giacomo Boldini: “Statically analyzing C++ memory model”
11:00-11:30 Giacomo Zanatta: “Static analysis of Python microservices”
11:30-12:00 Gianluca Caiazza: “The Zamperla project”
12:00-12:30 Badaruddin Chachar: “Catching vulnerabilities in smart contracts with LLMs”
12:30-14:00 Lunch