FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
SLIDES

A simple functional presentation and an inductive correctness proof of the Horn algorithm

António Ravara

Horn Clauses and Beyond for Relational and Temporal Program Verification

Hiroshi Unno

Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions

Qi Zhou, David Heath and William Harris
Total: 3 presentations.