\n

<
div>\n \n Studying logics via semantics is a well-estab lished and very\n active branch of mathemat ical logic. The area is characterized\n by results, tools and techniques stemming from variou s fields,\n including universal algebra, to pology, category theory, order,\n and model theory. The program of the conference TACL 2011 w ill\n focus on three interconnecting mathem atical themes central to\n the semantical s tudy of logics and their applications:\n al gebraic, categorical, and topological methods. Thi s is the\n fifth conference in the series T opology, Algebra and\n Categories in Logic (TACL, formerly TANCL).\n

\n \n \ nRegistration deadline: Friday 1 July 201 1. For more information, see http://w ww.lif.univ-mrs.fr/tacl2011/.

\n\n Contributed talks can dea l with any topic dealing with the use\n of algebraic, categorical or topological methods in e ither\n logic or computer science. Deadlin e for abstracts: 18 April\n 2011.\n \n URL:/NewsandEvents/Archives/2011/newsitem/3728/26- 30-July-2011-Topology-Algebra-and-Categories-in-Lo gic-TACL-2011-Universités-Aix-Marseille-I-II-III-F rance END:VEVENT END:VCALENDAR