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/2003/newsitem/465/1-12
 -December-2003-The-Logic-Automated-Reasoning-Summe
 r-School-2003
DTSTAMP:20030711T000000
SUMMARY:The Logic & Automated Reasoning Summer Sch
 ool 2003
DTSTART;VALUE=DATE:20031201
DTEND;VALUE=DATE:20031212
LOCATION:Australian National University (ANU)
DESCRIPTION:The Australian National University (AN
 U) has an exciting opportunity for IT professional
 s, senior educators, and students to enhance their
  logic and reasoning skills in a two-week intensiv
 e summer school. The Logic and Automated Reasoning
  Summer School comprises a blend of practical and 
 theoretical short courses on aspects of pure and a
 pplied logic taught by international and Australia
 n experts.   Registration closes Friday 31 October
  2003. For more information, see http://arp.anu.ed
 u.au/lss/ or get the brochure at the ILLC office
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The Austra
 lian National University (ANU) has an exciting opp
 ortunity\nfor IT professionals, senior educators, 
 and students to enhance their logic and\nreasoning
  skills in a two-week intensive summer school.\nTh
 e Logic and Automated Reasoning Summer School comp
 rises a blend of\npractical and theoretical short 
 courses on aspects of pure and applied logic\ntaug
 ht by international and Australian experts.\n     
  </p>\n    \n      <p>Registration closes Friday 3
 1 October 2003.\n        For more information, see
  <a target="_blank" href="http://arp.anu.edu.au/ls
 s/">http://arp.anu.edu.au/lss/</a>\n        or get
  the brochure at the ILLC office\n      </p>\n    
URL:/NewsandEvents/Archives/2003/newsitem/465/1-12
 -December-2003-The-Logic-Automated-Reasoning-Summe
 r-School-2003
END:VEVENT
END:VCALENDAR