Smrčka Aleš: Metody formální verifikace hardware, Polášek Petr: Prostředky pro manipulaci s modely a simulacemi v distribuovaném prostředí - detail akce