An opportunity to discover novel research themes investigated by the department of Information Engineering and Computer Science scholars; the sessions will also include discussions with industrial partners, in order to highlight the practical implications.
16/Mar/2021 11:00 - 11:30
Formal Verification and AI for Autonomous Systems
Marco Roveri & Luigi Di Guglielmo
16/Mar/2021 12:00 - 12:30
Digitalization of agri-food supply chains
Marco Formentini, Gustavo Savino and Simone Agostinelli
Ontology-Based Data Access