0532912 20240103224514.720201009235959.9 Logic Topology Algebra Category theory Coalgebra cav_un_auth*0218529 Bílková Marta 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*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*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. cav_un_auth*0226863 Horčík R. CZ cav_un_auth*0015063 Kroupa T. CZ cav_un_auth*0341114 Lávička Tomáš UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory CZ Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0284110 Majer Ondrej 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*0333530 Moraschini Tommaso UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science ES Ústav informatiky AV ČR, v. v. i. cav_un_auth*0293476 Noguera Carles UTIA-B Matematická teorie rozhodování Department of Decision Making Theory MTR MTR Department of Decision Making Theory Ústav teorie informace a automatizace AV ČR, v. v. i. cav_un_auth*0306220 Přenosil Adam 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*0336595 Sedlár Igor 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*0325065 Vidal Amanda UIVT-O Oddělení teoretické informatiky Department of Theoretical Computer Science Department of Theoretical Computer Science ES Ústav informatiky AV ČR, v. v. i. https://www.cs.cas.cz/tacl2017/ Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eight conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015). 20170626 20170630 Prague CZ https://www.cs.cas.cz/tacl2017/ BA 10000 10100 10101 2021 12 UTIA-B 10000 10100 10101 4 R 4r 20231122145140.6 UTIA-B BA RVO:67985807 RVO:67985556 http://hdl.handle.net/11104/0311286 S 2017 Soubory v repozitáři: 532912.pdf