Contact

How to Reach the Organising Committee

The Verified Software Competition is organised by a committee of researchers drawn from the formal-methods community. The committee composition varies between editions, but continuity is maintained through the competition infrastructure and the broader network of researchers involved in the Verified Software Initiative and the VSTTE conference series.

General inquiries about the competition — its format, its history, or its future — can be directed to the organising committee through the competition's communication channels. These channels are typically announced alongside each edition and are accessible through the competition infrastructure. If you are looking for information about a specific edition, the relevant about page and year hub pages may already contain what you need.

The organisers are members of the research community with responsibilities beyond the competition, so response times may vary. For straightforward questions about rules, eligibility, or problem formats, the FAQ is the fastest resource.

Questions About Entering the Competition

If you are considering participating in a future edition of VSComp, the first step is to familiarise yourself with the competition format. The FAQ covers the most common questions: who can participate, what tools are accepted, what a submission should contain, and how solutions are evaluated. These questions are answered from the perspective of how the competition has actually operated across its editions.

When a new edition is announced, participation details — including the submission mechanism, timeline, and any edition-specific requirements — are published through the competition's communication channels and on the relevant year hub page. We recommend monitoring these channels if you are interested in entering.

For questions that are not covered by existing documentation, the organising committee can be reached through the competition infrastructure. Please include enough context in your inquiry for the committee to understand what you are asking — the more specific your question, the more useful the response is likely to be.

Problems with Competition Materials

If you encounter an issue with materials hosted on this site — a problem description that appears incomplete, a solution summary that contains an error, or a document that fails to load — we appreciate being informed. The organising committee reviews reported issues and addresses them when possible.

When reporting an issue, it helps to include the specific page or document affected, a description of what appears to be wrong, and, if relevant, what you expected to find instead. This allows the committee to investigate efficiently. Not all materials from every edition are available in their original form; where this is the case, we note it on the relevant page.

Academic and Research Inquiries

Researchers who wish to reference VSComp problems or solutions in their work, use competition materials as benchmarks, or discuss potential collaboration are welcome to reach out to the organising committee. The competition has a history of engagement with the broader formal-methods community, and the organisers are generally receptive to inquiries of this nature.

If you are looking for citation information, the FAQ includes guidance on how to cite VSComp problems and solutions in academic publications. For published competition reports, the relevant year hub pages and the competition's publication records provide the bibliographic details you are likely to need.

The competition exists to serve the research community. If you have an idea for how VSComp materials could be useful in your work — whether in teaching, tool development, or research — the organisers are interested in hearing about it. The formal-methods community is not large, and connections between researchers, tool developers, and educators strengthen the field as a whole.

Where Announcements Are Made

Announcements about new editions, calls for participation, and competition results are disseminated through the competition infrastructure and through the networks associated with the VSTTE conference series and the formal-methods community more broadly. This includes mailing lists, workshop announcements, and community channels frequented by formal-methods researchers.

If you want to stay informed about future editions, connecting with the VSTTE community and the broader formal-methods research network is the most reliable approach. The about page provides context on the institutional connections that support the competition, and the year hub pages document how each edition was announced and run.

Before You Write

Many questions about the competition are already answered in existing documentation. Before reaching out to the organising committee, we suggest checking the following resources:

• Frequently Asked Questions — covers eligibility, tool choice, submission format, evaluation criteria, preparation advice, and citation guidance.
• About VSComp — describes the competition's mission, community, and institutional context.

These resources are maintained to reduce the volume of repetitive inquiries and to ensure that participants and interested researchers can find answers quickly. The organising committee's time is limited, and directing it toward questions that are not already documented benefits everyone.