The recording of the seminar “Information-flow Interfaces”, held on 19th April 2022 is now available.
A special thank to Ana Oliveira da Costa from Technische Universitรคt Wien and Dejan Nickovic from AIT Austrian Institute of Technology GmbH for the presentation.
Their work, performed in collaboration with colleagues Thomas A. Henzinger, Thomas Ferrere (IST) and Ezio Bartocci (TU Wien), received the ๐๐๐ฌ๐ญ ๐๐จ๐๐ญ๐ฐ๐๐ซ๐ ๐๐๐ข๐๐ง๐๐ ๐๐๐ฉ๐๐ซ ๐๐ฐ๐๐ซ๐ at the 2022 European Joint Conferences on Theory and Practice of Software (ETAPS), held in Munich between 2-7 April 2022. The paper is available in Open Access at https://lnkd.in/eS_PE63W
Stay tuned for the following seminars to come!