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/2002/newsitem/254/2-13
 -December-2002-Logic-and-Automated-Reasoning-Summe
 r-School
DTSTAMP:20020712T000000
SUMMARY:Logic and Automated Reasoning Summer Schoo
 l
DTSTART;VALUE=DATE:20021202
DTEND;VALUE=DATE:20021213
LOCATION:The Australian National\n    University, 
 Canberra, Australia
DESCRIPTION:The Logic and Automated Reasoning Summ
 er School comprises a blend of practical and theor
 etical short courses on aspects of pure and applie
 d logic taught by international and Australian exp
 erts. The school provides a unique learning experi
 ence for all participants, backed up with state-of
 -the-art computational science facilities at the A
 NU.    For more information, see here or the websi
 te at http://arp.anu.edu.au/lss, or contact the Co
 nvenor, Dr John Slaney, at lss-admin at arp.anu.ed
 u.au.
X-ALT-DESC;FMTTYPE=text/html:\n      <p>The Logic 
 and Automated Reasoning Summer School comprises a 
 blend of\npractical and theoretical short courses 
 on aspects of pure and applied logic\ntaught by in
 ternational and Australian experts. The school pro
 vides a unique\nlearning experience for all partic
 ipants, backed up with state-of-the-art\ncomputati
 onal science facilities at the ANU.\n      </p>\n 
    \n      <p>\n        For more information, see 
 <a class="longdescriptionlink" href="https://www.i
 llc.uva.nl/NewsandEvents/newsitem/254">here</a> or
  the website\n        at <a target="_blank" href="
 http://arp.anu.edu.au/lss">http://arp.anu.edu.au/l
 ss</a>,\n        or contact the Convenor, Dr John 
 Slaney, at \n        <a class="email">lss-admin <s
 pan class="at">at</span> arp.anu.edu.au</a>.\n    
   </p>\n    
URL:/NewsandEvents/Archives/2002/newsitem/254/2-13
 -December-2002-Logic-and-Automated-Reasoning-Summe
 r-School
END:VEVENT
END:VCALENDAR