Šimáček Jiří: Pokročilá verifikace programů s ukazateli pomocí stromových automatů; Bednář Jakub: Navigace inteligentního systému - detail akce