ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 14:30 - 15:00 at S4 (HCVS) - III Chair(s): John P. Gallagher

In this talk, we will give an overview of our ESOP’19 paper “Coinduction in Uniform: foundations for corecursive proof search in Horn clause logic”. We will focus especially on the remaining open problems, and will discuss future steps for improving corecursive proof search in Horn clause theories.

Sun 7 Apr
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30: HCVS - III at S4 (HCVS)
Chair(s): John P. GallagherRoskilde University
hcvs-2019-papers13:30 - 14:30
File Attached
hcvs-2019-papers14:30 - 15:00
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK
Link to publication
hcvs-2019-papers15:00 - 15:30
Daniel DietschUniversity of Freiburg, Matthias HeizmannUniversity of Freiburg, Jochen HoenickeUniversität Freiburg, Alexander NutzUniversity of Freiburg, Germany, Andreas PodelskiUniversity of Freiburg, Germany