0559063 20231122150643.320220714235959.9 cav_un_auth*0100737 Cintula Petr UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. cav_un_auth*0415798 Wannenburg Johann Joubert UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science ZA Ústav informatiky AV ČR, v. v. i. cav_un_auth*0432956 Vacková Kateřina UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science CZ Ústav informatiky AV ČR, v. v. i. cav_un_auth*0387711 Grimau Berta UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR ES Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0015032 Haniková Zuzana UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science Ústav informatiky AV ČR, v. v. i. https://uivty.cs.cas.cz/~clog2022/BookOfAbstracts.pdf Czech Gathering of Logicians is an annual regional event that brings together researchers in all areas of logic. 20220616 20220617 Prague CZ https://uivty.cs.cas.cz/~clog2022/ 2023 5 4 O 4o 4o 20231122150643.3 RVO:67985807 RVO:67985556 https://hdl.handle.net/11104/0332482 cav_un_auth*0339298 UTIA S 2022 Soubory v repozitáři: 0559063-boa.pdf, 0559063-prog.pdf