\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. The area is characterized by results, tools and techn iques stemming from various fields, including univ ersal algebra, topology, category theory, order an d model theory. The programme of the conference TA CL 2024 will focus on three interconnecting mathem atical themes central to the semantical study of l ogics and their applications: algebraic, categoric al and topological methods.

\nProgramme:**\n School: June 25-28, 2024 (Barcelona)\n
Conference: July 1-5, 2024 (Barcelona)**

We welcome contributed talks on any topi
c involving the use of algebraic, categorical or t
opological methods in either logic or computer sci
ence.

\n Abstracts of proposed contributions m
ust be submitted through Easychair and may be at most 2
pages, including references (using Easychair style). Co
ntributed presentations will be 30 minutes long.
URL:https://iiia.csic.es/tacl2024/
CONTACT:Sara Ugolini at 2024TACL at gmail.com
END:VEVENT
END:VCALENDAR