About the conference
Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science, philosophy, 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 semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the eleventh conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL), of which a complete website can be found here. Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017), Nize (2019) and Coimbra (2022).
Topics
Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcomed. This includes, but is not limited to, the following areas:
-
Algebraic structures in CS
Lattices with operators
Proofs and types
Algebraic logic
Modal logics
Residuated structures
Coalgebra
Non-classical logics
Semantics
Categorical methods in logic
Stone-type dualities
Domain theory
Ordered algebraic structures
Substructural logics
Fuzzy and many-valued logics
Pointfree topology
Topological semantics of modal logic
Lattice theory
TACL2024 will be a satellite conference of 9th European Congress of Mathematics, held from July 15ht to 19th in Sevilla. We encourage cross participation, and if you are attending the 9ECM thre will be a reduction in the registration of TACL.
