Laboratoře DIMEA a FORMELA obnovují pravidelný výzkumný seminář
Jde o obnovení pravidelného výzkumného semináře z oblasti diskrétních algoritmů,
formálních metod a dalších příbuzných oblastí infotmatiky.
Seminář se bude konat jednou za 14 dní v pondělky ve 14.00 během semestru.
Další informace včetně seznamu přednášejících pro následující semestr najdete
na:
https://www.fi.muni.cz/dfseminar/index.html.en
Za organizátory se těší na setkání na semináři prof. Daniel Král'