Topology, Algebra, and Categories in Logic 2017

This is the eight conference in the series Topology, Algebra and Categories in Logic, organized by the Department of Logic of the Faculty of Arts, and the Institute of Computer Science of the Czech Academy of Sciences. Earlier installments of this conference have been organized in Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013) and Ischia (2015).

Studying logic 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 semantic study of logic and their applications: algebraic, categorical, and topological methods.

More info, including the Call for Papers, can be found on the website: http://www.cs.cas.cz/tacl2017/.