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/12058/18
 ---19-September-2020-Autumn-School-on-Logic-Constr
 aint-Programming-Virtual
DTSTAMP:20200915T144125
SUMMARY:Autumn School on Logic & Constraint Progra
 mming, Virtual
DTSTART;VALUE=DATE:20200918
DTEND;VALUE=DATE:20200919
LOCATION:Virtual
DESCRIPTION:The organization of the *Autumn School
  on Logic and Constraint Programming* invites you 
 to participate in this year's school (September, 1
 8-19, virtually in Calabria), co-located with ICLP
 . It promises to be an interesting session -- for 
 students, as well as for more senior researchers -
 - in which Marc Denecker discusses the 'informal s
 emantics' of logic programs (is negation-as-failur
 e actually classical?), Peter Stuckey takes on the
  role of Trojan horse, convincing us to use 'Miniz
 inc' instead of logic programming, Martin Gebser p
 rovides unique insights in the magic he uses for t
 ackling 'industrial applications' with answer set 
 programming, and Elena Bellodi will probably talk 
 about 'probabilistic logic programming'.  The cour
 ses will be run as a hybrid model in which the fir
 st two hours are thought live, and for the last tw
 o 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 P
 rogramming* invites you to participate in this yea
 r's school (September, 18-19, virtually in Calabri
 a), co-located with ICLP. It promises to be an int
 eresting session -- for students, as well as for m
 ore senior researchers -- in which Marc Denecker d
 iscusses the 'informal semantics' of logic program
 s (is negation-as-failure actually classical?), Pe
 ter Stuckey takes on the role of Trojan horse, con
 vincing us to use 'Minizinc' instead of logic prog
 ramming, Martin Gebser provides unique insights in
  the magic he uses for tackling 'industrial applic
 ations' with answer set programming, and Elena Bel
 lodi will probably talk about 'probabilistic logic
  programming'.</p>\n\n  <p>The courses will be run
  as a hybrid model in which the first two hours ar
 e thought live, and for the last two hours, a reco
 rding 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