\n

\n Studying logics via semantics is a well-estab lished and very active branch of mathematical logi c, 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 th eory, order, and model theory. The program of the conference TACL 2009 will focus on three interconn ecting mathematical themes central to the semantic al study of logics and their applications: algebra ic, categorical, and topological methods.\n < /p>\n \n \n

\n For more inf ormation, see http://www.illc.uva.nl/tacl09 /\n

\n\n

URL:/NewsandEvents/Archives/2009/newsitem/2647/7-1
1-July-2009-Topology-Algebra-and-Categories-in-Log
ic-TACL-2009-Euclides-Building-Plantage-Muidergrac
ht-24-Amsterdam
END:VEVENT
END:VCALENDAR
\n The Programme Committee cordially invites all researchers\n to submit their\n pap ers for presentation.\n Submission deadline is March 15, 2009.\n

\n