Events in this review Termination Resilience Static Analysis (Caterina Urban, Inria & École Normale Supérieure | Université PSL) Tuesday, 3 June, 2025 - 09:30 ~ 10:30 Sala Riunioni e Seminari - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Automated Reasoning for Software Verification (Michele Chiari, TU Wien) Tuesday, 15 April, 2025 - 09:00 ~ 10:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Addressing potential capacity, imperceptibility, and robustness opportunities when watermarking relational data (Maikel Lázaro Pérez Gort, University Ca' Foscari of Venice) Wednesday, 9 April, 2025 - 13:30 ~ 15:30 Aula G - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Agents and Robots for reliable Engineered Autonomy (Angelo Ferrando, Università di Modena e Reggio Emilia) Tuesday, 1 April, 2025 - 10:30 ~ 12:30 Aula G - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Machine Learning Security: Foundations, Threats, and Proactive Measures (Antonio Cinà, University of Genova) Wednesday, 26 March, 2025 - 09:00 ~ 10:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Computer Science Day 2025 Wednesday, 12 March, 2025 - 10:30 ~ 13:30 Aula G - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti A Gentle Introduction to Static Analysis - An Abstract Interpretation Perspective (Vincenzo Arceri - University of Parma) Monday, 16 December, 2024 - 09:00 ~ 10:30 Aula G - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Software verification: from programs to complex systems (Luca Di Stefano, TU Wien) Monday, 9 December, 2024 - 15:30 ~ 17:30 Sala Riunioni e Seminari - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 5 November, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 29 October, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 22 October, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 15 October, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 8 October, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Ciclo di Seminari per il Mese Europeo della Cybersecurity Tuesday, 1 October, 2024 - 10:30 ~ 15:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Nicola Assolini (Università di Verona) - Analyzing Quantum Programming Languages Friday, 5 July, 2024 - 11:00 ~ 12:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Pietro Musoni (Università di Parma) - Designing animation-ready clothed avatars from real-world acquisitions Thursday, 23 May, 2024 - 09:30 ~ 10:30 Aula B - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Pietro Musoni (Università di Parma) - A modeling-by-matching approach for clothed human animation Monday, 18 December, 2023 - 12:30 ~ 13:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti
