Společný seminář laboratoří DIMEA a FORMELA

Tento výzkumný seminář slouží k prezentaci výsledků výzkumu týkajícího se algoritmů, diskrétních struktur, formálních metod, logiky a souvisejících oblastí teoretické informatiky. Seminář je organizován společně výzkumnými laboratořemi DIMEA a FORMELA . Další informace lze nalézt na anglické verzi této stránky.