Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

24 July - 1 August 2013, 6th International Conference on Topology, Algebra and Categories in Logic (TACL 2013), Nashville TN, U.S.A.

Date: 24 July - 1 August 2013
Location: Nashville TN, U.S.A.
Deadline: 1 April 2013

Studying logics via semantics is a well-established and very active branch of mathematical logic, 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 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.

TACL brings together different disciplines with the goal of exploring problems in logic. While TACL can boast of having participants that are at least somewhat familiar with most of the featured areas, young researchers and students who attend the conference and work in TACL fields may have a more restricted and specialized repertoire of tools and knowledge. In order to fill that gap, 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 variety of methods outside their immediate area that can be used to study logic.

For more information, see the TACL 2013 web site at http://www.math.vanderbilt.edu/~tacl2013/, or contact the Program Committee at or the local Organizing Committee at .

TACL invites contributed talks. Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. Abstract submission deadline: April 1, 2013.

Please note that this newsitem has been archived, and may contain outdated information or links.