#industriadigitale
-
July 26, 2021Alessandro Cimatti and Roberto Sebastiani win the Computer-Aided Verification Award 2021The two researchers, from FBK and the University of Trento respectively, received the prize awarded by CAV 2021, the most important international conference on the verification of correctness of hardware and software systems and one of the most prestigious in computer science. -
December 15, 2020Augmented reality for industrial maintenancePAMA Rovereto adopted an FBK project thanks to HIT and Confindustria Trento Digital Innovation Hub -
November 24, 2020FBK to coordinate the AIPLAN4EU project: artificial intelligence for European small and medium-sized enterprisesWith a total funding of 5 million euros, Fondazione Bruno Kessler, in partnership with 15 international partners, will bring "automated planning" to the AI4EU platform