FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

Editors: German Vidal and Temesghen Kahsai

Authors	Title	Paper	Talk
Hiroshi Unno	Horn Clauses and Beyond for Relational and Temporal Program Verification
Pierre Ganty	Tree dimension in verification of constrained Horn clauses
Qi Zhou, David Heath and William Harris	Solving Constrained Horn Clauses Using Dependence-Disjoint Expansions		Jul 13 11:00
Giorgio Delzanno, Sylvain Conchon and Angelo Ferrando	Declarative Parameterized Verification of Topology-sensitive Distributed Protocols		Jul 13 15:00
Ekaterina Komendantskaya and Yue Li	Towards Coinductive Theory Exploration in Horn Clause Logic: Extended Abstract		Jul 13 12:00
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi and Maurizio Proietti	Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs		Jul 13 10:00
António Ravara	A simple functional presentation and an inductive correctness proof of the Horn algorithm		Jul 13 11:30

Disclaimer | Powered by EasyChair Smart Program