\n

Studying logics via semantics is a well-established and ver y active branch of mathematical logic, with many a pplications, in computer science and elsewhere. Th e area is characterized by results, tools and tech niques stemming from various fields, including uni versal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting math ematical themes central to the semantical study of logics and their applications: algebraic, categor ical, and topological methods. This is the eighth conference in the series Topology, Algebra and Cat egories in Logic (TACL, formerly TANCL).

\n\nStarting from 2013, the conference is preceded by a summer school. The summer school associated t o the TACL2017 conference will be held in the Facu lty of Science of the Palacky University of Olomou c.

\n\n

URL:http://www.cs.cas.cz/tacl2017
END:VEVENT
END:VCALENDAR
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on with any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. Extended deadline: 10/03/201 7.

\n