2022 SSV annual workshop
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) |