Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

7-11 July 2009, Topology, Algebra and Categories in Logic (TACL 2009), Euclides Building, Plantage Muidergracht 24, Amsterdam

Date: 7-11 July 2009
Location: Euclides Building, Plantage Muidergracht 24, Amsterdam
Deadline: 15 March 2009

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 2009 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods.

For more information, see http://www.illc.uva.nl/tacl09/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is March 15, 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.