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

hcvs-2019-papers
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
Talk
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK
Link to publication
hcvs-2019-papers15:00 - 15:30
Full-paper
Daniel DietschUniversity of Freiburg, Matthias HeizmannUniversity of Freiburg, Jochen HoenickeUniversität Freiburg, Alexander NutzUniversity of Freiburg, Germany, Andreas PodelskiUniversity of Freiburg, Germany