
Conference: July 28  August 1, 2013
(to be held in Wilson Hall; Rooms 103 and 126)
Summer School: July 24  27, 2013
(to be held in the Mathematics Building of Stevenson
Center Complex; Room 1307)
Department of Mathematics, Vanderbilt University
28th Shanks Lecturer Fields Medalist Vladimir Voevodsky Institute for Advanced Study

BACKGROUND & SCOPE
Studying 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 2013 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 sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), and Marseilles (2011).
TOPICS:
Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas:
 Algebraic structures in CS
 Algebraic logic
 Coalgebra
 Categorical methods in logic
 Domain theory
 Fuzzy and manyvalued logics
 Lattice theory
 Lattices with operators
 Modal logics
 Nonclassical logics
 Ordered topological spaces
 Ordered algebraic structures
 Pointfree topology
 Proofs and Types
 Residuated structures
 Semantics
 Stonetype dualities
 Substructural logics
 Topological semantics of modal logic
Sponsors
National Science Foundation, Shanks Endowment, Vanderbilt University, Consortium for Order in Algebra
and Logic, and the Association for Symbolic Logic
