\n

\n Studying logics via semantics is a well-estab lished and very active branch of mathematical logi c, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category t heory, order, and model theory. The program of the conference TACL 2013 will focus on three intercon necting mathematical themes central to the semanti cal study of logics and their applications: algebr aic, categorical, and topological methods.\n

\nTACL brings together different disc iplines with the goal of exploring problems in log ic. While TACL can boast of having participants th at are at least somewhat familiar with most of the featured areas, young researchers and students wh o attend the conference and work in TACL fields ma y have a more restricted and specialized repertoir e of tools and knowledge. In order to fill that ga p, the conference itself (which starts on 28 July) will be preceded by a 4-day summer school, aimed at exposing young researchers and students to a va riety of methods outside their immediate area that can be used to study logic.\n

\n \n \nFor more information, see the \n TACL 2013 web site at http: //www.math.vanderbilt.edu/~tacl2013/, or conta ct the Program Committee at tacl2 013 at gmail.com or th e local Organizing Committee at t acl2013oc at vanderbilt.ed u.\n

\n

URL:/NewsandEvents/Archives/2013/newsitem/4798/24-
July---1-August-2013-6th-International-Conference-
on-Topology-Algebra-and-Categories-in-Logic-TACL-2
013-Nashville-TN-U-S-A-
END:VEVENT
END:VCALENDAR
TACL invit es contributed talks. Contributed talks can deal w ith any topic dealing with the use of algebraic, c ategorical or topological methods in either logic or computer science.\n Abstract submission deadline: April 1, 2013.\n

\n