TACL 2017: Topology, Algebra and Categories in Logic

Result code in 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>

Alternative codes found

RIV/67985807:_____/17:00532912

Result on the web

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

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

TACL 2017: Topology, Algebra and Categories in Logic

Original language description

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

Czech name

—

Czech description

—

Type

M - Conference organization

CEP classification

—

OECD FORD branch

10101 - Pure mathematics

Project

—

Continuities

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year

2017

Confidentiality

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

Event location

Prague

Event country

CZ - CZECH REPUBLIC

Event starting date

—

Event ending date

—

Total number of attendees

155

Foreign attendee count

127

Type of event by attendee nationality

WRD - Celosvětová akce