The Fifth International Conference on Topology, Algebra and Categories in Logic July 25, 2011
3, Place Victor Hugo
Marseille, Provence-Alpes-Cote d'Azur
Marseille, Provence-Alpes-Cote d'Azur
TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.
Official Website: http://www.lif.univ-mrs.fr/tacl2011/
Added by mBLAST on February 7, 2011