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 MoreThe ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal...
Read MoreThe 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 MoreToday and tomorrow, the VALU3S Consortium meets for the fifth time in an online meeting...
Read MoreThe 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