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/15045/16
 ---17-July-2024-IAS-Workshop-on-Logic-and-AI
DTSTAMP:20240708T140145
SUMMARY:IAS Workshop on Logic and AI
DTSTART;TZID=Europe/Amsterdam:20240716T090000
DTEND;TZID=Europe/Amsterdam:20240717T180000
LOCATION:Oude Turfmarkt 145-147, Amsterdam, The Ne
 therlands / Online via Zoom
DESCRIPTION:This workshop is part of a research pr
 oject on the topic of “Logic and AI”. It will brin
 g together international experts to explore the pr
 omising interaction of logic and modern artificial
  intelligence (AI). While AI struggles with explai
 nability, interpretability, and verifiability, log
 ic excels at this. So can logic help AI? And if so
 , how?  Speakers include Giuseppe Marra (KU Leuven
 ), Levin Hornischer (LMU Munich), Martin Grohe (RW
 TH Aachen), Lena Strobl (Umeå University), Herbert
  Jaeger (University of Groningen), Atticus Geiger 
 (Pr(Ai)²R), Thomas Icard (Stanford University).
X-ALT-DESC;FMTTYPE=text/html:\n  <p>This workshop 
 is part of a research project on the topic of “Log
 ic and AI”. It will bring together international e
 xperts to explore the promising interaction of log
 ic and modern artificial intelligence (AI). While 
 AI struggles with explainability, interpretability
 , and verifiability, logic excels at this. So can 
 logic help AI? And if so, how?</p>\n  <p>Speakers 
 include Giuseppe Marra (KU Leuven), Levin Hornisch
 er (LMU Munich), Martin Grohe (RWTH Aachen), Lena 
 Strobl (Umeå University), Herbert Jaeger (Universi
 ty of Groningen), Atticus Geiger (Pr(Ai)²R), Thoma
 s Icard (Stanford University).</p>\n
URL:https://ias.uva.nl/content/events/2024/07/logi
 c-and-ai.html
CONTACT:Levin Hornischer at levin.hornischer at lm
 u.de
END:VEVENT
END:VCALENDAR