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/2007/newsitem/1912/3-1
 4-December-2007-Logic-Summer-School-The-Australian
 -National-University-ANU-
DTSTAMP:20070705T000000
SUMMARY:Logic Summer School, The Australian Nation
 al University (ANU)
DTSTART;VALUE=DATE:20071203
DTEND;VALUE=DATE:20071214
LOCATION:The Australian National University (ANU)
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 3 to the 14
  of December 2007, at the Physics G6 lecture theat
 re at the ANU. The School will consist of short co
 urses on aspects of pure and applied logic taught 
 by experts from Australia and overseas. In additio
 n to the scheduled courses, time will be set aside
  each day for practical classes, discussions and s
 oftware demonstrations.    "We call this, 'two wee
 ks of wall-to-wall logic'. The Logic and Computati
 on group at ANU believe that logic is not just abo
 ut computers, or computer scientists. We say that 
 anything that makes sense can be subjected to logi
 cal analysis, which means that this School is attr
 active to any IT professionals, educators in logic
  and undergraduate students planning to do researc
 h in logic-related fields."   Deadline for early r
 egistration: 2 November 2007. For more information
 , see http://lss.rsise.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 3 to the 14 of December 2007, a
 t the Physics G6 lecture theatre at the ANU. The S
 chool will consist of short courses on aspects of 
 pure and applied logic taught by experts from Aust
 ralia and overseas. In addition to the scheduled c
 ourses, time will be set aside each day for practi
 cal classes, discussions and software demonstratio
 ns.\n      </p>\n      <p>\n        &quot;We call 
 this, 'two weeks of wall-to-wall logic'.  The Logi
 c and Computation group at ANU believe that logic 
 is not just about computers, or computer scientist
 s.  We say that anything that makes sense can be s
 ubjected to logical analysis, which means that thi
 s School is attractive to any IT professionals, ed
 ucators in logic and undergraduate students planni
 ng to do research in logic-related fields.&quot;\n
       </p>\n    \n      <p>Deadline for early regi
 stration: 2 November 2007.\n        For more infor
 mation, see\n        <a target="_blank" href="http
 ://lss.rsise.anu.edu.au/">http://lss.rsise.anu.edu
 .au/</a>.\n      </p>\n    
URL:/NewsandEvents/Archives/2007/newsitem/1912/3-1
 4-December-2007-Logic-Summer-School-The-Australian
 -National-University-ANU-
END:VEVENT
END:VCALENDAR