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/current/newsitem/16051
 /26-February-2026-ARA-Seminar-Xiaoshuang-Yang
DTSTAMP:20260209T224743
SUMMARY:ARA Seminar, Xiaoshuang Yang
ATTENDEE;ROLE=Speaker:Xiaoshuang Yang
DTSTART;TZID=Europe/Amsterdam:20260226T150000
DTEND;TZID=Europe/Amsterdam:20260226T161500
LOCATION:Room L2.07, ILLC Lab42, Science Park 900,
  Amsterdam
DESCRIPTION:Abstract:  We will discuss this paper 
 by Hetzl and Jalali  Abstract:  Craig interpolatio
 n is a fundamental property of logics with a pleth
 ora of applications from philosophical logic to co
 mputer-aided verification. The question of which i
 nterpolants can be obtained from an interpolation 
 algorithm is of profound importance. Motivated by 
 this question, we initiate the study of completene
 ss properties of int...
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Abstract:<br>\
 n  We will discuss this paper by Hetzl and Jalali<
 /p>\n  <p>Abstract:</p>\n  <p>Craig interpolation 
 is a fundamental property of logics with a plethor
 a of applications from philosophical logic to comp
 uter-aided verification. The question of which int
 erpolants can be obtained from an interpolation al
 gorithm is of profound importance. Motivated by th
 is question, we initiate the study of completeness
  properties of int...</p>\n
URL:https://events.illc.uva.nl/ARA/posts/talk06/
CONTACT:Arie Soeteman at g.a.w.soeteman at uva.nl
CONTACT:Balder ten Cate at b.d.tencate at uva.nl
END:VEVENT
END:VCALENDAR