Please note that this newsitem has been archived, and may contain outdated information or links.
26-30 July 2011, Topology, Algebra and Categories in Logic (TACL 2011), Universités Aix-Marseille I-II-III, France
Studying logics via semantics is a well-established and very active branch of mathematical logic. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 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 fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Registration deadline: Friday 1 July 2011. For more information, see http://www.lif.univ-mrs.fr/tacl2011/.
Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. Deadline for abstracts: 18 April 2011.
Please note that this newsitem has been archived, and may contain outdated information or links.