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


For the third year, we’re organizing our yearly workshop in Tambre! Because there were too many activities during December 2023, the event will occur on January 12th. 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. Enea Zaffanella, prof. Vincenzo Arceri, prof. Gianluca Caiazza, prof. Luca Negrini, prof. Luca Olivieri, prof. Alvise Spano’, prof. Maikel Lazaro Perez Gort, Raunak Bag, Alessandra Poggiani, Chachar Badaruddin, Giacomo Zanatta, Giacomo Boldini, Greta Dolcetti, Purbasha Chowdhury, Sofia Presotto, Alessio Campanelli, and Mario Gottardo.

Time What
9:00-10:00 Arrival and registration
10:00-10:20 Agostino Cortesi: “Group Achievements”
10:20-11:00 Pietro Ferrara: “Organization of the 3rd International Symposium on Challenges of Software Verification – CSV 2024”
11:00-12:30 Luca Negrini & Vincenzo Arceri: “Status of the LiSA project”
12:30-14:00 Lunch
14:00-15:30 All participants: “5 minutes pitch on current research activity & next targets”
15:30-16:30 General Discussion: “Open issues and Future Directions”