A place to discuss
what verification can mean.

A broad remit, a concrete starting point

Questions about specifications, proof tools and trusted boundaries are shared across many fields. Scientific workflows give those discussions something concrete to examine.

The proposed forum welcomes general formal-verification questions alongside bioinformatics discussions. It can grow broader as participants bring other use cases.

Start with three discussion areas

Foundations & tools

Specifications, proof assistants, learning questions and the limits of different methods.

Bioinformatics

Scientific workflows, analysis choices and the boundary between computation and empirical evidence.

Worked examples

Small, inspectable examples, proposed contracts and careful counterexamples from any field.

Evidence before certainty

A proposed discussion should distinguish an idea, a tested example and a checked proof. Criticism should address the claim and its assumptions.

Private datasets, identifiable participant information and unpublished work need permission before sharing. Synthetic examples are encouraged.

Proposed welcome text and moderation guidelines are part of the local review prototype. They will need approval before the forum opens.