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/2007/newsitem/1641/16-
 22-September-2007-Fall-school-in-Logic-Complexity-
 07-Trest-Czech-Republic
DTSTAMP:20061207T000000
SUMMARY:Fall school in Logic & Complexity '07, Tre
 st, Czech Republic
DTSTART;VALUE=DATE:20070916
DTEND;VALUE=DATE:20070922
LOCATION:Trest, Czech Republic
DESCRIPTION:The broad theme of the Fall schools is
  the interaction of Mathematical Logic and Complex
 ity Theory, with special emphasis on Proof Complex
 ity. The main guest speaker of this school will be
  Albert Atserias (Universitat Politecnica de Catal
 unya) who will deliver a tutorial on "Finite Model
  Theory and Complexity". The second tutorial serie
 s will concentrate on recent advances in Proof Com
 plexity and will be given by members of the Prague
  school.   Deadline for registration: May 1, 2007 
  For more information, see http://www.math.cas.cz/
 ~krajicek/trest07.html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\nThe broa
 d theme of the Fall schools is the interaction of 
 Mathematical Logic and Complexity Theory, with spe
 cial emphasis on Proof Complexity.\nThe main guest
  speaker of this school will be \nAlbert Atserias\
 n(Universitat Politecnica de Catalunya)\nwho will 
 deliver a tutorial on\n&quot;Finite Model Theory a
 nd Complexity&quot;. \nThe second tutorial series 
 will concentrate on recent advances in\nProof Comp
 lexity\nand will be given by members of the Prague
  school.\n      </p>\n      <p>Deadline for regist
 ration: May 1, 2007</p>\n    \n      <p>For more i
 nformation, see\n        <a target="_blank" href="
 http://www.math.cas.cz/~krajicek/trest07.html">htt
 p://www.math.cas.cz/~krajicek/trest07.html</a>\n  
     </p>\n    
URL:/NewsandEvents/Archives/2007/newsitem/1641/16-
 22-September-2007-Fall-school-in-Logic-Complexity-
 07-Trest-Czech-Republic
END:VEVENT
END:VCALENDAR