TACL

Topology, Algebra, and Categories in Logic

TACL 2011

Marseilles, France, July 26-30 2011

The Fifth International Conference on Topology, Algebra and Categories in Logic
is dedicated to the memory of Leo Esakia (1934-2010)

TACL history

The Marseilles meeting is the fifth of a series which started in 2003 with the pioneering initiative of a group of logicians in Tbilisi, Georgia, under the name of the International Conference on Algebraic and Topological Methods in Non-Classical Logics. In 2005 a follow-up conference expanded the scope of the Tbilisi meeting, by dedicating special attention to many-valued logic and residuated structures. It was held in Barcelona under the name Algebraic and Topological Methods in Non-Classical Logics II, and organized by Josep Maria Font and his colleagues. In 2007 the conference Algebraic and Topological Methods in Non-Classical Logics III was organized in Oxford, organized by Mai Gehrke and Hilary Priestley, with satellite workshops organized by B. Coecke, A. Kurz and M. Zacharyaschev.

The last meeting of this series was held in Amsterdam and organised by Yde Venema and Alessandra Palmigiano. In this occasion the conference broadened even more its scope, thus recognizing the important role of Category Theory in our community and, more importantly, by losing the N from Non-Classical: it became Topology, Algebra, and Categories in Logic.

The scientific -- and social !!! -- success of these conferences both witnesses the growth of an important, interesting and coherent research area in modern logic and fosters a strong community feeling among researchers in this field.