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      <p>\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   
    </p>\n      <p>\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      </p>\n    \n   
    <p>Deadline for registration: 28 November 2005.
 \n        For more information, see\n        <a ta
 rget="_blank" href="http://lss.rsise.anu.edu.au/">
 http://lss.rsise.anu.edu.au/</a>\n        or conta
 ct  Professor John Slaney by email at\n        <a 
 class="email">John.Slaney <span class="at">at</spa
 n> anu.edu.au</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2005/newsitem/955/4-16
 -December-2005-Logic-Summer-School-Canberra-Austra
 lia
END:VEVENT
END:VCALENDAR