Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Emanuele De Angelis (University "G. d'Annunzio" of Chieti-Pescara; Germany); Grigory Fedyukovich (Princeton University; Italy); Mattias Ulbrich (Karlsruhe Institute of Technology; Nikos Tzevelekos (Queen Mary University of London; UK); USA)

This volume collects the joint post-proceedings of the PERR and HCVS workshops.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-05-25 01:00 UTC pith:UJSVUQBT

load-bearing objection This is the abstract for a workshop proceedings volume with no original research or claims.

arxiv 1907.03523 v1 pith:UJSVUQBT submitted 2019-07-08 cs.LO

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Emanuele De Angelis (University "G. d'Annunzio" of Chieti-Pescara , Italy) , Grigory Fedyukovich (Princeton University , USA) , Nikos Tzevelekos (Queen Mary University of London , UK) , Mattias Ulbrich (Karlsruhe Institute of Technology , Germany) This is my paper

classification cs.LO

keywords post-proceedingsprogram equivalencerelational reasoningHorn clausesverificationsynthesisworkshop proceedings

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper states that the volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning and the 6th Workshop on Horn Clauses for Verification and Synthesis. These events were held in Prague on April 6 and 7 as affiliated workshops of ETAPS. A reader would care because the collection gathers research on program equivalence, relational reasoning, and Horn-clause techniques for verification and synthesis into a single published record.

Core claim

This volume contains the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS), which took place in Prague, Czech Republic on 6th and 7th April, respectively, as affiliated workshops of ETAPS.

What carries the argument

The joint post-proceedings format that records contributions from the two workshops on program equivalence and Horn clause verification.

Load-bearing premise

The workshops occurred on the stated dates and locations as affiliated events of ETAPS.

What would settle it

Evidence that the workshops did not take place in Prague on those dates or that no post-proceedings volume was published.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

This is the abstract for a workshop proceedings volume with no original research or claims.

read the letter

This arXiv entry is simply the front matter for the joint post-proceedings of the PERR and HCVS workshops held at ETAPS in Prague in 2019. The text states the dates, locations, and affiliation and notes that the volume collects the papers from those events. That is all it does. No new results, derivations, or arguments appear. The factual description of the workshops is accurate on its face and matches standard practice for such archival volumes. There are no load-bearing assumptions or circular claims to examine because the document makes none. The only limitation is that it offers nothing beyond the workshop record itself, which is expected for proceedings. Readers who need the collected papers from those specific workshops may find the volume useful as an index, but the entry itself adds no technical content. It does not warrant peer review as a research contribution.

Referee Report

0 major / 1 minor

Summary. The manuscript is the abstract for a proceedings volume containing the joint post-proceedings of the 3rd Workshop on Program Equivalence and Relational Reasoning (PERR) and the 6th Workshop on Horn Clauses for Verification and Synthesis (HCVS). It states that the workshops took place in Prague, Czech Republic on 6th and 7th April respectively, as affiliated events of ETAPS.

Significance. If the factual description holds, the volume serves as an archival record of contributions in Horn-clause-based verification/synthesis and relational reasoning/program equivalence. No machine-checked proofs, reproducible code, or falsifiable predictions are present in the provided text.

minor comments (1)

The provided manuscript consists only of the abstract; the full proceedings content is not available for evaluation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review of the manuscript, which is the abstract for the joint post-proceedings volume of the PERR and HCVS workshops. The referee's summary accurately captures the content. No major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The document is a proceedings volume whose sole content is a factual description of workshop dates, locations, and ETAPS affiliation. There are no derivations, predictions, theorems, empirical results, or load-bearing claims of any kind. The abstract states only that the volume contains post-proceedings of the named workshops; no equations, self-citations, fitted parameters, or ansatzes exist that could reduce to inputs by construction. This is a purely descriptive front-matter statement with no derivation chain to inspect.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The document makes no technical claims requiring parameters, axioms, or new entities.

pith-pipeline@v0.9.0 · 5610 in / 756 out tokens · 27315 ms · 2026-05-25T01:00:56.088269+00:00 · methodology

0 comments

read the original abstract

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)