Software and System Verification annual workshop

November 29th, Casera dei Fiori, via Roma 82B, Tambre

On November 29th 2022, the first annual (or, if you prefer, the second semestral :)) 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 Spano’, Martina Olliaro, Maikel Lazaro Perez Gort, Ruffin White, Souvick Das, Luca Negrini, Luca Olivieri, Raunak Bag, and Purbasha Chowdhury.

9:00-10:00Arrival and registration
10:00-12:00Organization of the 2nd international Symposium on Challenges of Software Verification – CSV 2023
13:00-14:00Group 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:30Personal achievements
“OO type systems”, Alvise Spano’
“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:00Coffee Break
16:00-17:00Planning for 2023 (lead: prof. Pietro Ferrara)