News and Events

VSTTE 2022

VSTTE was hosted by ES in Trento on October 17-18, 2022. It was chaired by Akash Lal and Stefano Tonetta, and the general chair was Supratik Chakraborty. It was co-located with FMCAD, which is running from October 18-21, 2022,...

Read More

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