Eventi in questa rassegna Termination Resilience Static Analysis (Caterina Urban, Inria & École Normale Supérieure | Université PSL) Martedì, 3 Giugno, 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) Martedì, 15 Aprile, 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) Mercoledì, 9 Aprile, 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) Martedì, 1 Aprile, 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) Mercoledì, 26 Marzo, 2025 - 09:00 ~ 10:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti Computer Science Day 2025 Mercoledì, 12 Marzo, 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) Lunedì, 16 Dicembre, 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) Lunedì, 9 Dicembre, 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 Martedì, 5 Novembre, 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 Martedì, 29 Ottobre, 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 Martedì, 22 Ottobre, 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 Martedì, 15 Ottobre, 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 Martedì, 8 Ottobre, 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 Martedì, 1 Ottobre, 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 Venerdì, 5 Luglio, 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 Giovedì, 23 Maggio, 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 Lunedì, 18 Dicembre, 2023 - 12:30 ~ 13:30 Aula A - Campus - Plesso di Matematica Ingresso libero fino esaurimento posti
