A paper titled Production Recipe Validation through Formalization and Digital Twin Generation“, co-authored with Stefano SpelliniRoberta ChiricoMarco Panato, and Franco Fummi has been accepted at the ACM/IEEE Design, Automation and Test in Europe (DATE) Conference 2020, to be held in Grenoble from the 09th to the 13th of March 2020.

The 23rd DATE conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems.