Submission and Publication

Submissions of extended abstracts are solicited and will be managed via Easychair.

Submitted extended abstracts should have an overall length of up to 4 pages in LNCS format excluding references. Authors may decide to include an appendix with additional material. Appendices will be considered at the reviewers' discretion.

Submissions related to completed work as well as work in progress are welcome. Submissions will be reviewed with respect to novelty, originality and scope. Authors are encouraged to provide additional material such as source code of tools, experimental data, benchmarks and related publications.

Submissions which describe novel applications of QBF in various domains are particularly welcome. Additionally, this call comprises known applications which have been shown to be hard for QBF solvers in the past as well as new applications for which present QBF solvers might lack certain features still to be identified. Reports on ongoing research is particulary welcome.

Previously published work or extensions thereof may be submitted to the workshop but that case has to be explicitly stated in the extended abstract.

Since the workshop does not have official proceedings, work related to accepted submissions can be resubmitted to other venues without restrictions.

Authors of accepted abstracts are expected to give a talk at the workshop.

Workshop Report

Extended abstracts related to accepted talks are collected in an informal report which will be publicly available at the workshop's website.