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)

arxiv: 1907.03523 · v1 · pith:UJSVUQBTnew · 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

Pith reviewed 2026-05-25 01:00 UTC · model grok-4.3

classification 💻 cs.LO

keywords post-proceedingsprogram equivalencerelational reasoningHorn clausesverificationsynthesisworkshop proceedings

0 comments

The pith

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

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.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

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

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)