Doktorandka katedry informatiky Adéla Laštovičková získala na 18. ročníku mezinárodní konference WODES cenu Best Student Paper Award. Cena jí byla udělena za práci ,,Verifying nonblockingness and deadlock-freeness in isomorphic module systems'', jejímž spoluautorem je Adélin školitel profesor Tomáš Masopust.

WODES (Workshop on Discrete Event Systems) je tradiční mezinárodní konference, která se v letošním roce konala ve dnech 8.-10. června v nizozemském Eindhovenu.