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


On November 29th 2022, the first annual workshop of our group will take place. In the awesome landscape of Tambre we will discuss the last achievements of our research groups, as well as the planning for the next year. The workshop is by invitation only. The current tentative list of participants comprises prof. Agostino Cortesi, prof. Paolo Falcarin, prof. Pietro Ferrara, prof. Vincenzo Arceri, prof. Gianluca Caiazza, Alvise Spanò, Martina Olliaro, Maikel Lazaro Perez Gort, Ruffin White, Souvick Das, Luca Negrini, Luca Olivieri, Raunak Bag, and Purbasha Chowdhury.

Time What
9:00-10:00 Arrival and registration
10:00-12:00 Organization of the 2nd international Symposium on Challenges of Software Verification – CSV 2023
12:00-13:00 Lunch
13:00-14:00 Group achievements
“Non-functional requirements of robotic software”, prof. Agostino Cortesi
“Secure software development”, prof. Paolo Falcarin
“Verification of microservices”, prof. Pietro Ferrara
“Making safe unsafe Rust code”, prof. Vincenzo Arceri
“Fighiting against system-only security”, prof. Gianluca Caiazza
14:00-15:30 Personal achievements
“OO type systems”, Alvise Spanò
“Detecting deprecated Python notebooks”, Luca Negrini
“Detection of non-deterministic smart contracts”, Luca Olivieri
“Advanced abstract domains for string analyses”, Martina Olliaro
“Making software more reliable through watermarking”, Maikel Lazaro Perez Gort
“Why nobody cares about security in robotics?”, Ruffin White
“Improving security and reliability of robotic system”, Raunak Bag
“From natural language to formal contracts through NLP”, Souvick Das
“Privacy issues in software systems”, Purbasha Chowdhury
15:30-16:00 Coffee Break
16:00-17:00 Planning for 2023 (lead: prof. Pietro Ferrara)