

TACL'2009

Topology, Algebra and Categories in LogicAmsterdam, July 711, 2009ScopeStudying logics via semantics is a wellestablished and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fourth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tblisi (2003), Barcelona (2005), and Oxford (2007). Topics Contributed talks can deal with any topic falling under the scope of the meeting. This includes, but is not limited to, the following areas:
Important advice As soon as you decide to attend TACL 2009, reserve your accommodation.
