Topology, Algebra, and Categories in Logic 2013
The Department of Mathematics hosted the Topology, Algebra, and Categories in Logic 2013 Conference July 28 through August 1. TACL 2013 was held in conjunction with the 27th Annual Shanks Lectures.
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, tool and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 focused on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.
This was 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).
This year's featured Shanks Lecturer was Fields Medalist Vladimir Voevodsky of the Institute for Advanced Study. The prestigious Shanks Lecture Series is organized annually by the Department of Mathematics in honor of Baylis and Olivia Shanks. The late Professor Baylis Shanks was chairman of the Department from 1955 through 1969. A list of previous Shanks Conferences and Lecturers can be found here.
Further information is available on the TACL 2013 conference website.