Giornata di lavoro sulle applicazioni dell’Intelligenza Artificiale per sistemi cyber-fisici
Martedì 29 Gennaio 2019, ore 11.00 – Università degli Studi di Sassari, Dipartimento di Chimica e Farmacia, Via Muroni 23A, Aula B
11.00 – 11.10: Saluti e presentazioni, programma della giornata (Luca Pulina, Università di Sassari)
11.10 – 11.40: I laboratori AIMS e IDEA (Armando Tacchella, Università di Genova – Francesca Palumbo e Luca Pulina, Università di Sassari)
11.40 – 12.00: Gestione formale di requisiti (Massimo Narizzano, Università di Genova – Simone Vuotto, Università di Sassari)
12.00 – 12.20: Cyber-security e sistemi cyber-fisici (Armando Tacchella, Università di Genova)
12.20 – 14.00: Light lunch
14.00 – 14.20: Pianificazione e Ottimizzazione (Francesco Leofante, Università di Sassari)
14.20 – 14.40: Adaptable Hardware Accelerators for Cyber Physical Systems (Tiziana Fanni e Carlo Sau, Università di Cagliari)
14.40 – 15.00: Contract-based simulation and verification for cyber-physical systems (Giuseppe Cicala, Università di Genova)
15.00 – 15.30: Coffee Break
15.30 – 15.50: The ALOHA Project and Keyword Spotting using Neural Network on SensorTile (Paolo Meloni, Università di Cagliari – Mahdieh Grailoo, Università di Sassari)
15.50 – 16.10: Automated Configuration of Complex Systems (Stefano Demarchi, Università di Sassari)
16.10 – 17.00: Intervento delle aziende aderenti al cluster PROSSIMO
17.00 – 17.10: Conclusioni e saluti
