Jiří Šimáček: Verifikace programu s ukazateli pomoci stromovych automatu , Filip Konečný: Přesná relační verifikace celočíselných programů, Radim Dvořák: Fyzikální modelování a simulace: Metoda ELLAM pro řešení atmosférické advekčně-difúzní rovnice - detail akce