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.
| 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 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:00 | Coffee Break |
| 16:00-17:00 | Planning for 2023 (lead: prof. Pietro Ferrara) |