Topology, Algebra, and
Categories in Logic 2013
in conjunction with the 28th annual Shanks Lectures

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 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 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 many-valued logics
  • Lattice theory
  • Lattices with operators
  • Modal logics
  • Non-classical logics
  • Ordered topological spaces
  • Ordered algebraic structures
  • Pointfree topology
  • Proofs and Types
  • Residuated structures
  • Semantics
  • Stone-type 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