Workshop

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