translated by Google

Stránka přeložená strojově pro lepší dosažitelnost obsahu tazateli užívajícími češtinu.

Společný seminář DIMEA a FORMELA

Tento výzkumný seminář poskytuje místo pro prezentaci výsledků výzkumu týkajících se algoritmů, diskrétních struktur, formálních metod, logiky a souvisejících oblastí teoretické informatiky. Seminář organizují společně výzkumné laboratoře DIMEA a FORMELA . Seminář navazuje na FMDSA seminář pořádaný v minulosti laboratoří FORMELA.

Čas a místo

Seminář se koná v pondělí ve 14:00 v semestru v místnosti C417 v budově Fakulty informatiky podle (zhruba) dvoutýdenního harmonogramu.

Vzhledem k současné pandemické situaci je seminář v tomto semestru zrušen. Doufáme, že vás znovu přivítáme v březnu 2021.

Podzim 2020 - přehled plánu

12. října Jakub Gajarský (Varšavská univerzita) TBA
9. listopadu Chaim Even-Zohar (Alan Turing Institute London) TBA
16. listopadu Tomasz Krawczyk (Jagellonská univerzita v Krakově) TBA
23. listopadu Thekla Hamm (Technische Universität Wien) TBA

Minulé termíny

Jaro 2020

Podzim 2019

Jaro 2019