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/2005/newsitem/955/4-16 -December-2005-Logic-Summer-School-Canberra-Austra lia DTSTAMP:20050721T000000 SUMMARY:Logic Summer School, Canberra, Australia DTSTART;VALUE=DATE:20051204 DTEND;VALUE=DATE:20051216 LOCATION:Canberra, Australia DESCRIPTION:The Automated Reasoning Group in the R esearch School of Information Sciences and Enginee ring at The Australian National University will ho st the Logic Summer School from the 5th to the 16t h of December 2005, at the Physics G6 lecture thea tre at the ANU. The Logic Summer School compris es a blend of practical and theoretical short cour ses on aspects of pure and applied logic taught by international and national experts. Topics includ e: Foundations of first-order logic,Modal and temp oral logic,Introduction to Automated reasoning, Fo rmal Methods, Knowledge representation and reasoni ng, non-classical logic, Computability and incompl eteness. Deadline for registration: 28 November 2005. For more information, see http://lss.rsise.a nu.edu.au/ or contact Professor John Slaney by ema il at John.Slaney at anu.edu.au X-ALT-DESC;FMTTYPE=text/html:\n
\nThe Auto mated Reasoning Group in the Research School of In formation Sciences and Engineering at The Australi an National University will host the Logic Summer School from the 5th to the 16th of December 2005, at the Physics G6 lecture theatre at the ANU.\n
\n\n The Logic Summer Schoo l comprises a blend of practical and theoretical s hort courses on aspects of pure and applied logic taught by international and national experts. Topi cs include: Foundations of first-order logic,Modal and temporal logic,Introduction to Automated reas oning, Formal Methods, \n Knowledge represe ntation and reasoning, non-classical logic, Comput ability and incompleteness.\n
\n \nDeadline for registration: 28 November 2005. \n For more information, see\n http://lss.rsise.anu.edu.au/\n or conta ct Professor John Slaney by email at\n John.Slaney at anu.edu.au\n
URL:/NewsandEvents/Archives/2005/newsitem/955/4-16 -December-2005-Logic-Summer-School-Canberra-Austra lia END:VEVENT END:VCALENDAR