Coinduction in Uniform: what's next? (HCVS 2019 - 6th Workshop on Horn Clauses for Verification and Synthesis)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Henning Basold, Ekaterina Komendantskaya

Track

HCVS 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 14:30 - 15:00 at S4 (HCVS) - III Chair(s): John P. Gallagher

Abstract

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.

Link to Publication

https://arxiv.org/abs/1811.07644

Henning Basold

CNRS & ENS Lyon

Ekaterina Komendantskaya

Heriot-Watt University, UK