Please note that this newsitem has been archived, and may contain outdated information or links.
15-26 June 2015, Topology, Algebra and Categories in Logic (TACL 2015), Salerno / Ischia Island (Italy)
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 characterised by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2015 will focus on three interconnecting mathematical themes central to the semantic study of logics and their applications: algebraic, categorical, and topological methods. This is the seventh conference in the series Topology, Algebra, and Categories in Logic (TACL).
Starting from 2013, the conference TACL -Topology, Algebra, and Categories in Logic- is preceded by a one-week school. In 2015 the school will be held at the campus of the University of Salerno and will include four tutorials, each consisting of 1.5 hour lectures for five days.
For more information, see http://logica.dmi.unisa.it/tacl/, or contact the local Organising Committee at tacl2015oc at gmail.com or the Programme Committee at tacl2015ed at gmail.com.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributed talks can be on any topic involving the use of algebraic, categorical or topological methods in either logic or computer science. Deadline for submissions (extended): 15 March 2015.
Please note that this newsitem has been archived, and may contain outdated information or links.