\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\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 invites contributed talks. Contributed talks can deal with any topic dealing with the use of algebr aic, categorical or topological methods in either logic or computer science.\n Abstract submi ssion deadline: April 1, 2013.\n

\n