TACL 2013:Editor's Preface

This volume contains the proceedings of TACL 2013, the 6th conference on Topology, Algebra, and Categories in Logic, which took place, in conjunction with the Shanks Lectures, at Vanderbilt University in Nashville, Tennessee from July 28 to August 1, 2013, and was preceded by a Summer School from July 24 to July 27.

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 focussed on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), and Marseilles (2011).

On behalf of the Program Committee and the Organizing Committee, we wish to acknowledge the generous support of the Shanks Endowment, the National Science Foundation, Vanderbilt University (in particular the Department of Mathematics and the College of Arts and Science), the Association for Symbolic Logic, and the Consortium for Order in Algebra and Logic. Finally, we gratefully acknowledge the use of EasyChair.

TACL 2013 Invited Lectures

  • Bernhard Banaschewski, McMaster University
  • Nick Bezhanishvili, Utrecht University
  • Leonardo Cabrer, University of Oxford
  • Silvio Ghilardi, University of Milan
  • Rostislav Horcik, Academy of Sciences of the Czech Republic
  • George Metcalfe, University of Bern
  • Alex Simpson, University of Edinburgh
  • Vladimir Voevodsky, Institute for Advanced Study [Shanks Lecturer]

TACL 2013 Summer School

  • Grigori Mints, Stanford University (on Proof Theory)
  • Lawrence Moss, Indiana University (on Recursion and Circularity)
  • Francesco Paoli, University of Cagliari (on Algebraic Logic)
  • Peter Selinger, Dalhousie University (on Categorical Logic)

TACL2013 Program Committee

  • Steve Awodey, Carnegie Mellon University
  • Guram Bezhanishvili, New Mexico State University
  • David Gabelaia, A. Razmadze Mathematical Institute
  • Nikolaos Galatos, University of Denver
  • Mai Gehrke, LIAFA, Université Paris Diderot
  • Rob Goldblatt, Victoria University of Wellington
  • John Harding, New Mexico State University
  • Ramon Jansana, Universidad de Barcelona
  • Peter Jipsen, Chapman University
  • Achim Jung, University of Birmingham
  • Alexander Kurz, University of Leicester
  • Vincenzo Marra, Università degli Studi di Milano
  • Hiroakira Ono, Japan Advanced Institute of Science and Technology
  • Alessandra Palmigiano, ILLC, University of Amsterdam
  • Hilary Priestley, St. Anne's College, Oxford
  • James Raftery, University of Pretoria
  • Thomas Streicher, Technische Universität Darmstadt
  • Kazushige Terui, RIMS, Kyoto University
  • Constantine Tsinakis, Vanderbilt University
  • Yde Venema, ILLC, University of Amsterdam
  • Michael Zakharyaschev, Birkbeck, University of London

TACL2013 Organizing Committee

  • Chris Conidis, Vanderbilt University
  • Lianzhen Liu, Jiangnan University, China
  • Warren McGovern, Florida Atlantic University
  • Francesco Paoli, University of Cagliari
  • Rebecca Steiner, Vanderbilt University
  • Constantine Tsinakis (chair), Vanderbilt University
  • William Young, Vanderbilt University

Nikolaos Galatos
Alexander Kurz
Constantine Tsinakis
July 8, 2013
Leicester