FMCAD 2022
The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal...
Read Moreby Alberto Griggio | Feb 1, 2022
The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal...
Read Moreby Stefano Tonetta | Dec 14, 2021
The paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis” by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta received the SEFM2021 best...
Read Moreby Stefano Tonetta | Nov 10, 2021
Today and tomorrow, the VALU3S Consortium meets for the fifth time in an online meeting...
Read Moreby Stefano Tonetta | Sep 29, 2021
The Austrian research center Silicon Austria Labs (SAL) and the Italian research institute Fondazione Bruno Kessler (FBK) are launching a bilateral research collaboration to develop methods and processes that increase the...
Read Moreby Stefano Tonetta | Sep 26, 2021
The HUBCAP mid-term review meeting with the European Commission took place online on September 22. HUBCAP successfully passed the review....
Read More