FMCAD 2022
The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal...
Read MoreNews and Events
SEFM21 Best paper award
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 MoreVALU3S 5th Project Consortium Meeting
Today and tomorrow, the VALU3S Consortium meets for the fifth time in an online meeting...
Read MoreFBK-SAL COLLABORATION
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 MoreHUBCAP Mid-Term review meeting
The HUBCAP mid-term review meeting with the European Commission took place online on September 22. HUBCAP successfully passed the review....
Read More