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/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
DTSTAMP:20101223T000000
SUMMARY:Topology, Algebra and Categories in Logic 
 (TACL 2011), Universités Aix-Marseille I-II-III, F
 rance
DTSTART;VALUE=DATE:20110726
DTEND;VALUE=DATE:20110730
LOCATION:Universités Aix-Marseille I-II-III, Franc
 e
DESCRIPTION:Studying logics via semantics is a wel
 l-established and very active branch of mathematic
 al logic. The area is characterized by results, to
 ols and techniques stemming from various fields, i
 ncluding universal algebra, topology, category the
 ory, order, and model theory. The program of the c
 onference TACL 2011 will focus on three interconne
 cting mathematical themes central to the semantica
 l study of logics and their applications: algebrai
 c, categorical, and topological methods. This is t
 he fifth conference in the series Topology, Algebr
 a and Categories in Logic (TACL, formerly TANCL). 
   Registration deadline: Friday 1 July 2011. For m
 ore information, see http://www.lif.univ-mrs.fr/ta
 cl2011/.   Contributed talks can deal with any top
 ic dealing with the use of algebraic, categorical 
 or topological methods in either logic or computer
  science. Deadline for abstracts: 18 April 2011.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\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      </p>\n    \n      \
 n      <p>Registration deadline: Friday 1 July 201
 1. For more information, see <a target="_blank" hr
 ef="http://www.lif.univ-mrs.fr/tacl2011/">http://w
 ww.lif.univ-mrs.fr/tacl2011/</a>.</p>\n    </div><
 div>\n      <p>\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      </
 p>\n      </div>
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