Call for Participation: QBFGallery 2026

========================= CALL FOR CONTRIBUTIONS =======================

We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation. Researchers thinking about using QBF-based techniques in their area (e.g., formal verification, planning, knowledge representation & reasoning) are invited to contribute to the evaluation by submitting QBF instances of their research problems (see the requirements for instances). The results of the evaluation will be a good indicator of the current feasibility of QBF-based approaches and a stimulus for people working on QBF solvers to further enhance their tools.

Important Dates

2026-05-17: Submission of benchmarks 2026-05-17: Submission of solvers 2026-05-20: Feedback on solver submissions May, June 2026: evaluation runs 2026-07-19: presentation of results at the QBF 2026 Workshop