25 June - 5 July 2024, Topology, Algebra, and Categories in Logic (TACL 2024), Barcelona, Spain
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 2024 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical and topological methods.
Programme:
School: June 25-28, 2024 (Barcelona)
Conference: July 1-5, 2024 (Barcelona)
We welcome contributed talks on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science.
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.