News 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 More

FBK-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 More
Loading