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/2020/newsitem/12030/18
 ---19-September-2020-Autumn-School-on-Logic-Constr
 aint-Programming-Virtually-in-Calabria
DTSTAMP:20200903T160204
SUMMARY:Autumn School on Logic & Constraint Progra
 mming, Virtually in Calabria
DTSTART;VALUE=DATE:20200918
DTEND;VALUE=DATE:20200919
LOCATION:Virtually in Calabria
DESCRIPTION:The organization of the autumn school 
 on logic and constraint programming invites you to
  participate in this year's school. co-located wit
 h ICLP. It promises to be an interesting session -
 - for students, as well as for more senior researc
 hers -- in which Marc Denecker discusses the infor
 mal semantics of logic programs (is negation-as-fa
 ilure actually classical?), Peter Stuckey takes on
  the role of Trojan horse, convincing us to use Mi
 nizinc instead of logic programming, Martin Gebser
  provides unique insights in the magic he uses for
  tackling industrial applications with answer set 
 programming, and Elena Bellodi will probably talk 
 about probabilistic logic programming.  The course
 s will be run as a hybrid model in which the first
  two hours are thought live, and for the last two 
 hours, a recording will be made available.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The organizati
 on of the autumn school on logic and constraint pr
 ogramming invites you to participate in this year'
 s school. co-located with ICLP. It promises to be 
 an interesting session -- for students, as well as
  for more senior researchers -- in which Marc Dene
 cker discusses the&nbsp;<em>informal semantics</em
 > of logic programs (is negation-as-failure actual
 ly classical?), Peter Stuckey takes on the role of
  Trojan horse, convincing us to use&nbsp;<em>Miniz
 inc</em> instead of logic programming, Martin Gebs
 er provides unique insights in the magic he uses f
 or tackling&nbsp;<em>industrial applications</em> 
 with answer set programming, and Elena Bellodi wil
 l probably talk about&nbsp;<em>probabilistic logic
  programming</em>.</p>\n\n  <p>The courses will be
  run as a hybrid model in which the first two hour
 s are thought live, and for the last two hours, a 
 recording will be made available.</p>\n
URL:https://sites.google.com/view/iclp-dc-2020/aut
 umn-school-on-logic-programming
END:VEVENT
END:VCALENDAR