(New) 26 February 2026, ARA Seminar, Xiaoshuang Yang
Speaker: Xiaoshuang Yang
Title: Paper Discussion: "On the Completeness of Interpolation Algorithms"
Date: Thursday 26 February 2026
Time: 15:00-16:15
Location: Room L2.07, ILLC Lab42, Science Park 900, Amsterdam
Abstract:
We will discuss this paper by Hetzl and Jalali
Abstract:
Craig interpolation is a fundamental property of logics with a plethora of applications from philosophical logic to computer-aided verification. The question of which interpolants can be obtained from an interpolation algorithm is of profound importance. Motivated by this question, we initiate the study of completeness properties of int...
For more information, see
https://events.illc.uva.nl/ARA/posts/talk06/
or contact Arie Soeteman at g.a.w.soeteman at uva.nl, or Balder ten Cate at b.d.tencate at uva.nl.