Seminar: Information-flow Interfaces

Apr 19, 2022 | Events

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

Stay tuned for the following seminars to come!