TACL 2017: Topology, Algebra and Categories in Logic

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985556%3A_____%2F17%3A00532912" target="_blank" >RIV/67985556:_____/17:00532912 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/67985807:_____/17:00532912

Výsledek na webu

<a href="https://www.cs.cas.cz/tacl2017/" target="_blank" >https://www.cs.cas.cz/tacl2017/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

TACL 2017: Topology, Algebra and Categories in Logic

Popis výsledku v původním jazyce

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).

Název v anglickém jazyce

TACL 2017: Topology, Algebra and Categories in Logic

Popis výsledku anglicky

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).

Druh

M - Uspořádání konference

CEP obor

—

OECD FORD obor

10101 - Pure mathematics

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Místo konání akce

Prague

Stát konání akce

CZ - Česká republika

Datum zahájení akce

—

Datum ukončení akce

—

Celkový počet účastníků

155

Počet zahraničních účastníků

127

Typ akce podle státní přísl. účastníků

WRD - Celosvětová akce