Letko Zdeněk: Automatické opravování programů a s ním související problémy statické a dynamické analýzy programů, Hrubá Vendula: Automatické opravování programů a s ním související problémy model checkingu programů, Konečný Filip: Symbolická verifikace s využitím rozšířených automatů a příbuzných formalismů, Šimáček Jiří: Symbolická verifikace s využitím konečných automatů a příbuzných formalismů - detail akce