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


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