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
\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
\n\n "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."\n
\n \nDeadline for early regi stration: 2 November 2007.\n For more infor mation, see\n http://lss.rsise.anu.edu .au/.\n
URL:/NewsandEvents/Archives/2007/newsitem/1912/3-1 4-December-2007-Logic-Summer-School-The-Australian -National-University-ANU- END:VEVENT END:VCALENDAR