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/2024/newsitem/15191/2-
 --13-December-2024-24th-ANU-Logic-Summer-School-Ca
 nberra-Ngunnawal-and-Ngambri-Country-Australia-
DTSTAMP:20241008T165306
SUMMARY:24th ANU Logic Summer School, Canberra / N
 gunnawal and Ngambri Country (Australia)
DTSTART;VALUE=DATE:20241202
DTEND;VALUE=DATE:20241213
LOCATION:Canberra / Ngunnawal and Ngambri Country 
 (Australia)
DESCRIPTION:The ANU Logic Summer School is an annu
 al event that offers a two week long programme of 
 lectures on modern logic, the foundational discipl
 ine of the information sciences. Topics include no
 t only the science of reasoning but also computabi
 lity theory, type theory and other tools for under
 standing processes, declarative programming, autom
 atic proof generation, program verification and mu
 ch more. The school is primarily geared at late un
 dergraduate and masters students, but is open to a
 ll, including postgraduate and PhD students, postd
 ocs, and participants from industry.  The school f
 eatures four introductory courses in the first wee
 k, and a series of five lectures covering more adv
 anced topics in the second week. The courses are g
 iven by a mix of local, domestic and international
  speakers.   
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The ANU Logic 
 Summer School is an annual event that offers a two
  week long programme of lectures on modern logic, 
 the foundational discipline of the information sci
 ences. Topics include not only the science of reas
 oning but also computability theory, type theory a
 nd other tools for understanding processes, declar
 ative programming, automatic proof generation, pro
 gram verification and much more. The school is pri
 marily geared at late undergraduate and masters st
 udents, but is open to all, including postgraduate
  and PhD students, postdocs, and participants from
  industry.</p>\n  <p>The school features four intr
 oductory courses in the first week, and a series o
 f five lectures covering more advanced topics in t
 he second week. The courses are given by a mix of 
 local, domestic and international speakers.</p>\n 
  <p>&nbsp;</p>\n
URL:https://comp.anu.edu.au/lss/
CONTACT:lss.comp at anu.edu.au
END:VEVENT
END:VCALENDAR