Coinduction in Uniform: what's next?
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 - 14:30|
Matteo MaffeiTU WienFile Attached
|14:30 - 15:00|
|Link to publication|
|15:00 - 15:30|