27 - 31 July 2026, TACL 2026 – 12th Int’l Conference on Topology, Algebra and Categories in Logic, Krakow [PL]
Date: 27 - 31 July 2026
Location: Krakow [PL]
Deadline: Monday 23 February 2026
The programme of TACL 2026 will focus on three interconnected mathematical themes that are central to the semantic study of logic and its applications: algebraic, categorical, and topological methods.
Contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science are welcome. Abstracts of proposed contributions must be submitted through EasyChair and may be at most 2 pages, including references (using EasyChair style). Contributed presentations will be 30 minutes long.
For more information, see
https://iphils.uj.edu.pl/tacl
or contact 2026TACL at gmail.com.