Aleš Pilný (ČVUT): New Algorithms for Feature Ranking, Hýsek Jiří: Formální analýza a verifikace systémů specifikovaných vysokoúrovňovými vizuálními jazyky, Konečný Filip: Symbolická verifikace s využitím rozšířených automatů a příbuzných formalismů, Letko Zdeněk: Analýza a sofistikované testování paralelních programů - detail akce