BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/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
DTSTAMP:20081207T000000
SUMMARY:Topology, Algebra and Categories in Logic 
 (TACL 2009), Euclides Building, Plantage Muidergra
 cht 24, Amsterdam
DTSTART;VALUE=DATE:20090707
DTEND;VALUE=DATE:20090711
LOCATION:Euclides Building, Plantage Muidergracht 
 24, Amsterdam
DESCRIPTION:Studying logics via semantics is a wel
 l-established and very active branch of mathematic
 al logic, with many applications, in computer scie
 nce and elsewhere. The area is characterized by re
 sults, tool and techniques stemming from various f
 ields, including universal algebra, topology, cate
 gory theory, order, and model theory. The program 
 of the conference TACL 2009 will focus on three in
 terconnecting mathematical themes central to the s
 emantical study of logics and their applications: 
 algebraic, categorical, and topological methods.  
   For more information, see https://www.illc.uva.n
 l/tacl09/   The Programme Committee cordially invi
 tes all researchers to submit their papers for pre
 sentation. Submission deadline is March 15, 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\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      <p>\n        For more inf
 ormation, see <a target="_blank" href="https://www
 .illc.uva.nl/tacl09/">https://www.illc.uva.nl/tacl
 09/</a>\n      </p>\n    </div><div>\n      <p>\n 
        The Programme Committee cordially invites a
 ll researchers\n        to submit their\n        p
 apers for presentation.\n        Submission deadli
 ne is March 15, 2009.\n      </p>\n      </div>
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