Secondo Workshop su Modellazione e Verifica Formale di Sistemi di Dialogo, Argumentation per Cybercrime e Civil Security Applications
5-6 Febbraio 2026
Hotel Ambasciatori, Rimini RN
Il workshop ha l’obiettivo di condividere attività e risultati delle linee di ricerca dei progetti FICO e Civil Safety and Security for Society, dedicate a cybersecurity, contrasto al cybercrime, sicurezza e resilienza delle società. L’incontro intende inoltre avviare una riflessione comune su possibili iniziative future, con attenzione allo sviluppo di strumenti e tecnologie innovative, alla collaborazione tra ricercatori e alla divulgazione dei risultati, anche in relazione all’AI.
Programma
5 Febbraio
- 15:00 - Apertura dei lavori
- 15:15 - E. De Angelis, M. Proietti, F. Toni: ABA Learning with Applications to Neuro-Symbolic AI
- 15:45 - M. Cuccarini: RUC - Reasoning Until Convince: an explainable method for multiple choose questions
- 16:15 - S. Bistarelli, M.C. Meo, C. Taticchi: Argumentative agents with local store
- 16:45 - F. Santini: Abstract argumentation goes quantum: models and experiments
- 17:15 - Open discussion
6 Febbraio
- 09:00 - I. Mercanti: Towards A Decentralized and Privacy-Preserving Voting System
- 09:30 - C. Luchini: Unauthorized Disclosure Prevention and Reasoning on VC Claims in SSI
- 10:00 - D. Berhan: OT Malware Alarms with Sandboxing and Honeypotting
- 10:30 - I. Bortone: Opportunita di progetti in ambito AI in italia e europa
- 11:15 - Collaborazioni, idee di divulgazione progetti di ricerca
- 12:15 - Fine dei lavori