Výsledky vyhledávání
- 1.0559063 - ÚI 2023 eng U - Uspořádání akce
Cintula, Petr - Wannenburg, Johann Joubert - Vacková, Kateřina - Grimau, Berta - Haniková, Zuzana
Czech Gathering of Logicians 2022.
[Prague, 16.06.2022-17.06.2022, (K-EUR 21/2)]
Institucionální podpora: RVO:67985807 ; RVO:67985556
https://uivty.cs.cas.cz/~clog2022/BookOfAbstracts.pdf
Trvalý link: https://hdl.handle.net/11104/0332482Název souboru Staženo Velikost Komentář Verze Přístup 0559063-boa.pdf 0 1.5 MB Jiná povolen 0559063-prog.pdf 0 85 KB Jiná povolen - 2.0556750 - ÚI 2023 eng U - Uspořádání akce
Durnová, H. - Dušek, J. - Haniková, Zuzana - Paseka, J. - Raclavský, J. - Švandová, B.
Kurt Gödel Day 2021 with Czech Gathering of Logicians 2021.
[Brno, 25.06.2021-26.06.2021(WRD]
Institucionální podpora: RVO:67985807
https://www.physics.muni.cz/~godel/kgd2021/index.php
Trvalý link: http://hdl.handle.net/11104/0330911 - 3.0532912 - ÚI 2021 RIV eng U - Uspořádání akce
Bílková, Marta - Cintula, Petr - Haniková, Zuzana - Horčík, R. - Kroupa, T. - Lávička, Tomáš - Majer, Ondrej - Moraschini, Tommaso - Noguera, Carles - Přenosil, Adam - Sedlár, Igor - Vidal, Amanda
TACL 2017: Topology, Algebra and Categories in Logic.
[Prague, 26.06.2017-30.06.2017, (K-WRD 155/127)]
Institucionální podpora: RVO:67985807 ; RVO:67985556
Klíčová slova: Logic * Topology * Algebra * Category theory * Coalgebra
Obor OECD: Pure mathematics; Pure mathematics (UTIA-B)
https://www.cs.cas.cz/tacl2017/
Trvalý link: http://hdl.handle.net/11104/0311286Název souboru Staženo Velikost Komentář Verze Přístup 532912.pdf 1 2.7 MB Vydavatelský postprint vyžádat - 4.0437454 - FLÚ 2015 eng U - Uspořádání akce
Haniková, Zuzana - Majer, Ondrej
Druhé setkání pražských logiků.
[Second gathering of Prague logicians.]
[Praha, 07.02.2014-08.02.2014, (K-CST 21/0)]
Institucionální podpora: RVO:67985955 ; RVO:67985807
Klíčová slova: logic * mathematics
Kód oboru RIV: AA - Filosofie a náboženství; IN - Informatika (UIVT-O)
Trvalý link: http://hdl.handle.net/11104/0241015