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


For the second year, we’re organizing our (semestral) workshop in Tambre! The event will take place on July 5th. We will mostly the planning for the next 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, Alvise Spanò, Maikel Lazaro Perez Gort, Ruffin White, Souvick Das, Luca Negrini, Luca Olivieri, Raunak Bag, Alessandra Poggiani, Chachar Badaruddin, Giacomo Zanatta, and Purbasha Chowdhury.

Time What
9:00-10:00 Arrival and registration
10:00-11:00 Pietro Ferrara: “Introduction: what happened in 2023 so far, and what was the outcome of CSV 2023”
11:00-13:00 Plans for LiSA and static analysis
Luca Negrini, Luca Olivieri, Vincenzo Arceri, Chachar Badaruddin, Purbasha Chowdhury
13:00-14:00 BBQ!
14:00-15:00 Requirements and data engineering
Agostino Cortesi, Paolo Falcarin, Souvick Das, Alessandra Poggiani
15:00-15:30 Watermarking
Maikel Lazaro Perez Gort
15:30-16:30 Robotics verification
Gianluca Caiazza, Ruffin White, Raunak Bag, Giacomo Zanatta
16:30-17:00 Agostino Cortesi: “What is left for 2023?”