\n

Studying logic via semantics is a well-established and very active branch of mathematical logic with many app lications in computer science and elsewhere. The a rea is characterized by results, tools and techniq ues stemming from various fields, including univer sal algebra, topology, category theory, order, and model theory. The programme of the conference TAC L 2019 will focus on three interconnecting mathema tical themes central to the semantic study of logi c and their applications: topological, algebraic, and categorical methods.

\n\n

URL:https://math.unice.fr/tacl/2019/
CONTACT:TACL team at tacl at unice.fr
END:VEVENT
END:VCALENDAR
Co
ntributed talks are intended to be about topologic
al, algebraic

\n or categorical methods used i
n mathematical or computer science

\n logic. A
uthors can submit an Extended Abstract of 2 pages
(including references) at the EasyChair conference
system.