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/2010/newsitem/3503/6-1 7-December-2010-Logic-Summer-School-Canberra-Austr alia DTSTAMP:20100812T000000 SUMMARY:Logic Summer School, Canberra, Australia DTSTART;VALUE=DATE:20101206 DTEND;VALUE=DATE:20101217 LOCATION:Canberra, Australia DESCRIPTION:As computers become more powerful, the ir ability to perform complicated reasoning tasks increases. In order to harness their power, we nee d to understand the reasoning they can do, and how they may do it more efficiently. This understandi ng begins with logic. The Logic Summer School com prises a blend of practical and theoretical short courses on aspects of pure and applied logic taugh t by international and national experts. The schoo l provides a unique learning experience for all pa rticipants, backed up with state-of-the-art comput ational science facilities at the Australian Natio nal University. For more information, see http:// lss.cecs.anu.edu.au/ . X-ALT-DESC;FMTTYPE=text/html:\n
As compu ters become more powerful, their ability to perfor m complicated\n reasoning tasks increases. In order to harness their power, we need to\n understand the reasoning they can do, and how t hey\n may do it more efficiently. This unde rstanding begins with logic.
\nThe L ogic Summer School comprises a blend of practical and\n theoretical short courses on aspects of pure and applied logic\n taught by inter national and national experts. The school\n provides a unique learning experience for all par ticipants,\n backed up with state-of-the-ar t computational science\n facilities at the Australian National University.
\n \nFor more information, see http://lss.cecs .anu.edu.au/
. URL:/NewsandEvents/Archives/2010/newsitem/3503/6-1 7-December-2010-Logic-Summer-School-Canberra-Austr alia END:VEVENT END:VCALENDAR