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
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
\n \n\n For more information, see
here or
the website\n at http://arp.anu.edu.au/ls
s,\n or contact the Convenor, Dr John S
laney, at \n lss-admin