Universiteit van Amsterdam


Institute for Logic, Language and Computation

20 - 30 June 2017, The Eighth International Conference on Topology, Algebra and Categories in Logic (TACL 2017), Olomouc / Prague (Czech Republic)

Date: 20 - 30 June 2017
Location: Olomouc / Prague (Czech Republic)
Deadline: Friday 10 March 2017

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, tools 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 eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

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/2017.

For more information, see http://www.cs.cas.cz/tacl2017.