Lukáš Holík: Formální verifikace nekonečně stavových systémů s využitím teorie automatů, Novosad Petr: Modelování systémů hybridními Petriho sítěmi - detail akce