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/2006/newsitem/1423/4-1
 5-December-2006-Logic-Summer-School-Canberra-Austr
 alia
DTSTAMP:20060709T000000
SUMMARY:Logic Summer School, Canberra, Australia
DTSTART;VALUE=DATE:20061204
DTEND;VALUE=DATE:20061215
LOCATION:Canberra, Australia
DESCRIPTION:The Computer Sciences Laboratory in th
 e Research School of Information Sciences and Engi
 neering at The Australian National University will
  host the Logic Summer School from the 4th to the 
 15th of December 2006, at the Physics G6 lecture t
 heatre at the ANU.    The Logic Summer School comp
 rises a blend of practical and theoretical short c
 ourses on aspects of pure and applied logic taught
  by international and national experts. Topics inc
 lude: Foundations of first-order logic,Modal and t
 emporal logic,Introduction to Automated reasoning,
  Formal Methods, Knowledge representation and reas
 oning, non-classical logic, Computability and inco
 mpleteness.   Deadline for early registration: 27 
 November 2006. For more information, see http://ls
 s.rsise.anu.edu.au/ or contact Professor John Slan
 ey by email at: John.Slaney at anu.edu.au
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\nThe Comp
 uter Sciences Laboratory in the Research School of
  Information Sciences and Engineering at The Austr
 alian National University will host the Logic Summ
 er School from the 4th to the 15th of December 200
 6, at the Physics G6 lecture theatre at the ANU.\n
       </p>\n      <p>\n        The Logic Summer Sc
 hool comprises a blend of practical and theoretica
 l short courses on aspects of pure and applied log
 ic taught by international and national experts. T
 opics include: Foundations of first-order logic,Mo
 dal and temporal logic,Introduction to Automated r
 easoning, Formal Methods, \n        Knowledge repr
 esentation and reasoning, non-classical logic, Com
 putability and incompleteness.\n      </p>\n    \n
       <p>Deadline for early registration: 27 Novem
 ber 2006.\n        For more information, see\n    
     <a target="_blank" href="http://lss.rsise.anu.
 edu.au/">http://lss.rsise.anu.edu.au/</a>\n       
  or contact Professor John Slaney by email at: \n 
        <a class="email">John.Slaney <span class="a
 t">at</span> anu.edu.au</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2006/newsitem/1423/4-1
 5-December-2006-Logic-Summer-School-Canberra-Austr
 alia
END:VEVENT
END:VCALENDAR